Theorem IsSubfield.inter

Modification history