Commit 2025-08-28 23:44 98be79a4

View on Github →

chore: use explicit argument in Nat.Prime.mod_two_eq_one_iff_ne_two (#29090) It's the only theorem in the file that used the Fact signature.

Estimated changes