Theorem Filter.lift'_lift_assoc

Modification history