Theorem ULift.norm_down

Modification history