Theorem CategoryTheory.ShortComplex.RightHomologyData.unop_f'

Modification history