Theorem isAlgebraic_of_larger_base_of_injective

Modification history