Theorem Field.closure.isSubfield

Modification history