Mathlib v3 is deprecated. Go to Mathlib v4

Def zmod.algebra

Modification history

2023-06-19 20:03

src/data/zmod/algebra.lean

chore(data/zmod/algebra): make zmod.algebra a def (#19197) …

Added zmod.algebra View on Github →