Slightly rewording the documentation of Theorem, Definition and Fixpoint - #19766
Closed
herbelin wants to merge 2 commits into
Closed
Slightly rewording the documentation of Theorem, Definition and Fixpoint#19766herbelin wants to merge 2 commits into
herbelin wants to merge 2 commits into