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