Theorem Nat.Prime.mod_two_eq_one_iff_ne_two
Modification history
2025-08-28 23:44
Mathlib/Data/Nat/Prime/Basic.lean
chore: use explicit argument in Nat.Prime.mod_two_eq_one_iff_ne_two (#29090) …
Modified Nat.Prime.mod_two_eq_one_iff_ne_twoView on Github →