Theorem homological_complex.single_map_homological_complex_inv_app_self

Modification history