[Merged by Bors] - feat(AlgebraicTopology/SimplicialSet): more on nondegenerate simplices of the standard simplex#37332

joelriou wants to merge 11 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

joelriou:sset-stdsimplex-nondegenerateequivjoelriou/mathlib4:sset-stdsimplex-nondegenerateequivCopy head branch name to clipboard