Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- %% Use for proper proofs that end with extra space (regardless of the use
- %% or non-use of qed (=the black box)
- defproof#1{Trivlistitem[hspace*{1em}hskiplabelsep{it #1enskip }]ignorespaces}
- defendproof{endTrivlistaddvspace{0pt}}
Add Comment
Please, Sign In to add comment