Skip to content
GitLab

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

Merged Ralf Jung requested to merge ralf/no-global into master

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

Merge request reports