Theorem ULift.down_compl

Modification history