Skip to content

feat(Topology/Spectral/ConstructibleTopology): properties of spectral maps#40299

Open
FMLJohn wants to merge 90 commits into
leanprover-community:masterfrom
FMLJohn:spectralMap_properties_new
Open

feat(Topology/Spectral/ConstructibleTopology): properties of spectral maps#40299
FMLJohn wants to merge 90 commits into
leanprover-community:masterfrom
FMLJohn:spectralMap_properties_new

Merge branch 'master' into spectralMap_properties_new

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