Open pkra opened 11 months ago
From our last conversation, @sgcoskey would like a qed at end of proof (which we now have) BUT also the ability for an optional placement of qed.
From our last conversation, @sgcoskey would like a qed at end of proof (which we now have) BUT also the ability for an optional placement of qed.