Theorem zmod.pow_totient
Modification history
2022-08-10 17:41
src/field_theory/finite/basic.lean
feat(field_theory/finite/basic): zmod.pow_totient is true for zero (#15771)
Modified zmod.pow_totientView on Github →2022-01-05 23:45
src/field_theory/finite/basic.lean
chore(*): notation for `units` (#11236)
Modified zmod.pow_totientView on Github →