Def CategoryTheory.ShortComplex.LeftHomologyMapData.natTransApp

Modification history