Theorem Submonoid.unit_mem_leftInv

Modification history

2025-01-07 07:29
Mathlib/GroupTheory/Submonoid/Inverses.lean
chore: smile more often (#20436) …
Modified Submonoid.unit_mem_leftInvView on Github →
2023-02-02 13:45
Mathlib/GroupTheory/Submonoid/Inverses.lean
feat: port GroupTheory.Submonoid.Inverses (#1987)
Added Submonoid.unit_mem_leftInvView on Github →