Theorem ULift.up_compl

Modification history