Commit 2026-10-13 05:39 8d91c72b

View on Github →

chore(SimplicialSet): fix capitalization of nonDegenerate_zero (#44791)

Estimated changes

deleted theorem SSet.nondegenerate_zero