Theorem trdeg_eq_iSup_cardinalMk_isTranscendenceBasis

Modification history