Theorem IntermediateField.adjoin.finiteDimensional

Modification history