Theorem Con.sup_eq_conGen

Modification history