Theorem Preimage.isSubfield

Modification history