Skip to content

feat(Topology/EMetricSpace/BoundedVariation): more BoundedVariationOn and eVariationOn API#41519

Open
teorth wants to merge 27 commits into
leanprover-community:masterfrom
teorth:boundedvariation
Open

feat(Topology/EMetricSpace/BoundedVariation): more BoundedVariationOn and eVariationOn API#41519
teorth wants to merge 27 commits into
leanprover-community:masterfrom
teorth:boundedvariation

final reviewer request and last-minute golf

e74f9ee
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Jul 10, 2026 in 1m 25s