Theorem ULift.up_iSup

Modification history