Def Subgroup.Commensurable.commensurator

Modification history

2026-08-18 11:28
Mathlib/GroupTheory/Commensurable.lean
refactor(GroupTheory/Commensurable): add and generalize API (#41030) …
Modified Subgroup.Commensurable.commensuratorView on Github →
2025-09-25 05:05
Mathlib/GroupTheory/Commensurable.lean
feat(GroupTheory/Commensurable): additivize (#29707) …
Added Subgroup.Commensurable.commensuratorView on Github →