Theorem sup_eq_prod_inf_factors

Modification history