You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When <lem> has a wit-attribute, the witness (identifier or sigla) should be printed in front of the lemma bracket. We call this a positive apparatus and it must be supported.
When
<lem>has awit-attribute, the witness (identifier or sigla) should be printed in front of the lemma bracket. We call this a positive apparatus and it must be supported.