Theorem IsAdjoinRootMonic.ext_elem

Modification history