Theorem ZMod.IsUnit_cast_of_dvd

Modification history

2024-01-25 15:54
Mathlib/Data/ZMod/Units.lean
refactor(ZMod): remove coe out of ZMod (#9839)
Modified ZMod.IsUnit_cast_of_dvdView on Github →
2023-11-23 10:43
Mathlib/Data/ZMod/Units.lean
feat: reduction of DirichletCharacter (#8440)
Modified ZMod.IsUnit_cast_of_dvdView on Github →
2023-09-24 12:02
Mathlib/Data/ZMod/Units.lean
feat: conductor of Dirichlet character (#7320)
Added ZMod.IsUnit_cast_of_dvdView on Github →