Theorem homology.map_eq_lift_desc'_right

Modification history