Theorem comul_eq_diag

Modification history