Theorem Algebra.isAlgebraic_of_not_injective

Modification history