Theorem IntermediateField.adjoin_rootSet_isSplittingField

Modification history