Theorem IsSubfield.pow_mem

Modification history