Theorem function.antiperiodic.nat_mul_eq_of_eq_zero
Modification history
2023-01-31 13:11
src/algebra/periodic.lean
feat(algebra/periodic): generalize some lemmas (#18334) …
Modified function.antiperiodic.nat_mul_eq_of_eq_zeroView on Github →2022-09-29 01:02
src/algebra/periodic.lean
refactor(algebra/periodic): use `neg_zero_class` for `antiperiodic.nat_mul_eq_of_eq_zero` (#16687) …
Modified function.antiperiodic.nat_mul_eq_of_eq_zeroView on Github →