Theorem ULift.down_inf

Modification history