Theorem Field.insepDegree_top_le_insepDegree_of_isScalarTower

Modification history