Theorem IsTranscendenceBasis.lift_cardinalMk_eq_trdeg

Modification history