Theorem IntermediateField.toSubalgebra_iSup_of_directed

Modification history