Theorem CategoryTheory.NatTrans.mapHomologicalComplex_naturality

Modification history