Theorem Submonoid.divPairs_comap

Modification history

2025-05-10 09:26
Mathlib/GroupTheory/MonoidLocalization/DivPairs.lean
feat: submonoid of pairs with quotient in a submonoid (#22635) …
Added Submonoid.divPairs_comapView on Github →