Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
commensurable
Modification history
2022-02-17 19:35
src/group_theory/commensurable.lean
feat(group_theory/commensurable): Definition and lemmas about commensurability. (#9545) …
Added
commensurable
View on Github →