Theorem inv_eq_of_root_of_coeff_zero_ne_zero

Modification history