Theorem ULift.up_sdiff

Modification history