Theorem isAlgebraic_iff_not_injective

Modification history