Theorem Algebra.IsAlgebraic.trdeg_le_cardinalMk

Modification history