Skip to content

feat(Topology): A spectral map between quasi-separated, prespectral sober spaces has compact fibers#39663

Open
Raph-DG wants to merge 75 commits into
leanprover-community:masterfrom
Raph-DG:Raph-DG-Constructible
Open

feat(Topology): A spectral map between quasi-separated, prespectral sober spaces has compact fibers#39663
Raph-DG wants to merge 75 commits into
leanprover-community:masterfrom
Raph-DG:Raph-DG-Constructible

Commits

Commits on Jun 20, 2025

Commits on Jun 22, 2025

Commits on Jun 23, 2025

Commits on Sep 25, 2025

Commits on Feb 18, 2026

Commits on Feb 19, 2026

Commits on Feb 20, 2026

Commits on Feb 25, 2026

Commits on Mar 19, 2026

Commits on Mar 25, 2026

Commits on Mar 27, 2026

Commits on Mar 31, 2026

Commits on Apr 1, 2026

Commits on Apr 7, 2026

Commits on Apr 8, 2026

Commits on Apr 10, 2026

Commits on Apr 16, 2026

Commits on Apr 21, 2026

Commits on Apr 22, 2026

Commits on Apr 23, 2026

Commits on Apr 28, 2026

Commits on May 1, 2026

Commits on May 8, 2026

Commits on May 11, 2026

Commits on May 21, 2026