Theorem IsAlgebraic.exists_nonzero_eq_adjoin_mul

Modification history