Def category_theory.nat_trans.map_homological_complex

Modification history