Theorem IntermediateField.toSubalgebra_injective

Modification history