Theorem lift_trdeg_add_le

Modification history