Theorem Mon_.lift_lift_assoc

Modification history