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

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

Well spot.

Technically this is a backwards incompatibility, so it needs a CHANGELOG. One could have (recursively) imported finite and accidentally relied on this behavior.

added 1 commit

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

Compare with previous version

added 7 commits

• b3d75e6e...e6194e28 - 6 commits from branch master
• df9b4add - remove a Global Arguments Pos.of_nat from the middle of a proof

Compare with previous version

resolved all threads

enabled an automatic merge when the pipeline for df9b4add succeeds

Great. Merging.

merged

mentioned in commit d9e55d3d