Commit 2023-12-30 16:05 d641c680

View on Github →

feat(AlgebraicTopology): definition of Kan complex and quasicategory (#9357)

Estimated changes