Theorem Con.lift_comp_mk'

Modification history