Skip to content

feat(AlgebraicTopology/SimplicialSet): refactor StrictSegal via SSet.Truncated#20668

Open
gio256 wants to merge 83 commits intomasterfrom gio/trunc

Commits

Commits on Jan 11, 2025

Commits on Jan 12, 2025

Commits on Jan 13, 2025

Commits on Jan 14, 2025

Commits on Jan 16, 2025

Commits on Jan 17, 2025

Commits on Jan 18, 2025

Commits on Jan 20, 2025

Commits on Jan 21, 2025

Commits on Jan 22, 2025