Theorem homology'.map_eq_lift_desc'_right

Modification history