Theorem category_theory.nat_trans.map_homological_complex_id

Modification history