Theorem IntermediateField.iInf_toSubalgebra

Modification history