Theorem IntermediateField.isTranscendenceBasis_adjoin_iff

Modification history