Theorem ZMod.isUnit_cast_of_dvd

Modification history

2024-12-20 05:03
Mathlib/Data/ZMod/Units.lean
chore: rename ZMod.IsUnit_cast_of_dvd (#19997)
Added ZMod.isUnit_cast_of_dvdView on Github →