Theorem Algebra.isAlgebraic_of_larger_base_of_injective

Modification history