Theorem IsAdjoinRootMonic.ext_elem_iff

Modification history