Theorem ULift.norm_up

Modification history