Theorem IsUnit.submonoid.coe_inv

Modification history

2026-05-25 15:44
Mathlib/GroupTheory/Submonoid/Inverses.lean
fix: decls with a non-consecutive duplicate namespace (#39794) …
Added IsUnit.submonoid.coe_invView on Github →