Def Int.quotientSpanEquivZMod

Modification history

2025-01-21 06:28

Mathlib/Data/ZMod/QuotientGroup.lean

refactor(Data/ZMod/Quotient): Split file (#20894) …

Modified Int.quotientSpanEquivZMod View on Github →

2023-05-25 14:13

Mathlib/Data/ZMod/Quotient.lean

feat: port Data.ZMod.Quotient (#4074)

Added Int.quotientSpanEquivZMod View on Github →