Theorem SimplicialObject.Split.ιSummand_naturality_symm

Modification history