Theorem IntermediateField.biSup_adjoin_simple

Modification history