Commit 2024-04-08 09:07 b27ccccb

View on Github →

chore: replace proof of natAbs_add_of_nonpos (#11995) Proof was breaking on nightly-testing / bump/v4.8.0, so just replace it with omega and be done.

Estimated changes

modified theorem Int.natAbs_add_of_nonpos