Theorem CategoryTheory.ShortComplex.LeftHomologyData.unop_g'

Modification history