Def category_theory.simplicial_object.truncated
Modification history
2022-04-05 19:36
src/algebraic_topology/simplicial_object.lean
chore(algebraic_topology/simplex_category): removed ulift (#13183)
Modified category_theory.simplicial_object.truncatedView on Github →