Theorem LocallyConstant.lift_comp_proj

Modification history