mathlib3
16e06539 - extra degeneracy for the simplicial set (op [n]) \to X^(n+1)

Commit

3 years ago

extra degeneracy for the simplicial set (op [n]) \to X^(n+1)

Author

joelriou

joelriou

Parents

Loading