Mathlib v3 is deprecated. Go to Mathlib v4

Theorem monoid_algebra.submodule.exists_is_compl

Modification history

2021-02-05 12:11
src/representation_theory/maschke.lean
feat(order/*): introduces complemented lattices (#5747) …
Modified monoid_algebra.submodule.exists_is_complView on Github →
2020-06-01 21:26
src/representation_theory/maschke.lean
feat(representation_theory/maschke): Maschke's theorem (#2762) …
Added monoid_algebra.submodule.exists_is_complView on Github →