Theorem SimplicialObject.Splitting.ιSummand_eq

Modification history