Theorem IsTranscendenceBasis.cardinalMk_eq_trdeg

Modification history