Theorem IntermediateField.adjoin_finset_isCompactElement

Modification history