Theorem lift_trdeg_add_eq

Modification history