Theorem isAlgebraic_iff_exists_isTranscendenceBasis_subset

Modification history