Theorem IsTranscendenceBasis.lift_cardinalMk_eq

Modification history