Commit 2023-03-07 06:19 84ffc108

View on Github →

feat: port Topology.MetricSpace.Algebra (#2660)

Estimated changes

added def LipschitzAdd.C
added def LipschitzMul.C
added theorem dist_pair_smul
added theorem dist_smul_pair