stan/WLP2024
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix

Browse Source
This commit is contained in:
Andreas Stadelmeier 2024-06-21 03:32:11 +02:00
parent 0eeb31cb67
commit eb2ae1eb34
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
aspUnify.tex
View File

@ -245,7 +245,7 @@ Result:
\inferrule[Solution]{ \inferrule[Solution]{
\tv{a} \doteq \type{G} \tv{a} \doteq \type{G}
}{ }{
\sigma(\tv{a}) = \type{N} \sigma(\tv{a}) = \type{G}
} }
% \and % \and
% \inferrule[Generic]{ % \inferrule[Generic]{