Def ZMod

Modification history

2023-01-23 17:36
Mathlib/Data/ZMod/Defs.lean
feat: port Data.ZMod.Defs (#1713)
Added ZModView on Github →