Theorem IsAdjoinRootMonic.isIntegral_root

Modification history