Theorem Field.FiniteDimensional.of_finite_intermediateField

Modification history