Theorem homology.map_eq_desc'_lift_right

Modification history