Theorem homology.lift_ι

Modification history