Theorem IsSubfield.div_mem

Modification history