Skip to content

feat(AlgebraicTopology): pushout diagrams in the filtration of Δ[p] ⊗ Δ[1]#41675

Open
joelriou wants to merge 23 commits into
leanprover-community:masterfrom
joelriou:sset-prod-std-simplex-2
Open

feat(AlgebraicTopology): pushout diagrams in the filtration of Δ[p] ⊗ Δ[1]#41675
joelriou wants to merge 23 commits into
leanprover-community:masterfrom
joelriou:sset-prod-std-simplex-2

fix

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