Adding "Body", synonymous of "Proof", for interactively-defined definitions - #18709
Closed
herbelin wants to merge 1 commit into
Closed
Adding "Body", synonymous of "Proof", for interactively-defined definitions#18709herbelin wants to merge 1 commit into
herbelin wants to merge 1 commit into