# Commit 2021-03-17 01:14 b9ccb8fa

View on Github →feat(algebraic_topology/simplicial_objects + ...): Truncated simplicial objects + skeleton (#6711) This PR adds truncated simplicial objects and the skeleton functor (aka the truncation functor).

Mathlib v3 is deprecated. Go to Mathlib v4

feat(algebraic_topology/simplicial_objects + ...): Truncated simplicial objects + skeleton (#6711) This PR adds truncated simplicial objects and the skeleton functor (aka the truncation functor).