Theorem comul_eq_lift

Modification history