Theorem ULift.up_sInf

Modification history