Theorem homology.map_eq_desc'_lift_left

Modification history