Theorem SimplicialObject.Splitting.iso_hom

Modification history