Mathlib v3 is deprecated. Go to Mathlib v4

Theorem simplex_category.eq_comp_δ_of_not_surjective'

Modification history

2022-03-03 17:48
src/algebraic_topology/simplex_category.lean
feat(simplex_category): various epi/mono lemmas (#11924)
Added simplex_category.eq_comp_δ_of_not_surjective'View on Github →