Def CategoryTheory.ShortComplex.FunctorEquivalence.inverse

Modification history