Theorem CategoryTheory.ShortComplex.opcycles_ext

Modification history