Skip to content

Merge branch 'zerodim' of https://github.com/vihdzp/mathlib4 into zer…

11eee01
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat: typeclass for zero-dimensional spaces #37444

Merge branch 'zerodim' of https://github.com/vihdzp/mathlib4 into zer…
11eee01
Select commit
Loading
Failed to load commit list.