zmod

📁 Source: MathlibTest/zmod.lean

Statistics

Metric	Count
Definitions zmod	1
Theorems	0
Total	1

AddChar

Definitions

Name	Category	Theorems
zmod 📖	CompOp	6 math math: zmod_add, zmod_zero, zmod_inj, zmod_intCast, zmodAddEquiv_apply, zmod_injective

---

← Back to Index