Theorem IsAlgebraic.of_larger_base_of_injective

Modification history