Make Topological.lean really topological

mseri / BET

Project for "Machine-Checked Mathematics" at the Lorentz Center

Apache License 2.0

6 stars 5 forks source link

Closed mseri closed 5 months ago

mseri commented 5 months ago

Blocking https://github.com/mseri/BET/issues/24, see the discussion in that issue

mseri commented 5 months ago

Work in progress ni the make-topological-topological branch