Theorem Algebra.IsAlgebraic.nontrivial

Modification history