Mathlib v3 is deprecated. Go to Mathlib v4

Theorem monoid_algebra.exists_left_inverse_of_injective

Modification history

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