Theorem IntermediateField.fg_iSup

Modification history