Theorem IsTranscendenceBasis.isAlgebraic_iff

Modification history