Theorem CommMonoid.toMonoid_injective

Modification history

2023-01-19 10:36
Mathlib/Algebra/Group/Ext.lean
chore: format by line breaks with long lines (#1529) …
Modified CommMonoid.toMonoid_injectiveView on Github →
2022-12-07 02:29
Mathlib/Algebra/Group/Ext.lean
feat: port Algebra.Group.Ext (#850) …
Added CommMonoid.toMonoid_injectiveView on Github →