Mathlib v3 is deprecated. Go to Mathlib v4

Theorem commensurable.commensurator'_mem_iff

Modification history

2022-02-17 19:35
src/group_theory/commensurable.lean
feat(group_theory/commensurable): Definition and lemmas about commensurability. (#9545) …
Added commensurable.commensurator'_mem_iffView on Github →