Theorem CategoryTheory.SimplicialObject.Augmented.hom_ext

Modification history