Theorem ULift.up_iInf

Modification history