LittleWedderburn

📁 Source: Mathlib/RingTheory/LittleWedderburn.lean

Statistics

Metric	Count
Definitions divisionRing_to_field, littleWedderburn	2
Theorems isDomain_to_isField	1
Total	3

Finite

Definitions

Name	Category	Theorems
divisionRing_to_field 📖	CompOp	—

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
isDomain_to_isField 📖	mathematical	—	IsField Ring.toSemiring	—	nonempty_fintype Field.toIsField

(root)

Definitions

Name	Category	Theorems
littleWedderburn 📖	CompOp	—

---

← Back to Index