Skip to content

remove a Global Arguments Pos.of_nat from the middle of a proof

Ralf Jungrequested to merge
ralf/no-global into master

This doesn't seem to actually be required, at least not in this file...

Merge request reports