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.
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.