Theorem max_one_div_max_inv_one_eq_self

Modification history