Def ZMod.algebra

Modification history

2024-05-07 01:05
Mathlib/Data/ZMod/Algebra.lean
refactor: replace `@[reducible]` with `abbrev` (#12614) …
Deleted ZMod.algebraView on Github →
2023-06-21 13:11
Mathlib/Data/ZMod/Algebra.lean
forward port leanprover-community/mathlib#19197 (#5284)
Added ZMod.algebraView on Github →