Theorem IntermediateField.inf_toSubalgebra

Modification history