Theorem Finite.isDomain_to_isField

Modification history

2023-12-13 16:04
Mathlib/RingTheory/LittleWedderburn.lean
feat: Wedderburn's Little Theorem (#6800)
Added Finite.isDomain_to_isFieldView on Github →