Theorem Mon_Class.lift_lift_assoc

Modification history