Mathlib Changelog
v4
Changelog
About
Github
Theorem
Dilation.ratio_comp
Modification history
2023-07-21 14:16
Mathlib/Topology/MetricSpace/Dilation.lean
refactor: add notation for `Dilation _ _`, extend API (#5753) …
Added
Dilation.ratio_comp
View on Github →