Theorem ULift.down_sup

Modification history