Theorem IntermediateField.iSup_eq_adjoin

Modification history