Theorem IntermediateField.adjoin_finite_isCompactElement

Modification history