Theorem Subalgebra.inv_mem_of_root_of_coeff_zero_ne_zero

Modification history