Theorem isTranscendenceBasis_iff_maximal

Modification history