Theorem SimplicialObject.Split.cofan_inj_naturality_symm

Modification history