Theorem Mon_Class.lift_comp_one_right

Modification history