Theorem AdjoinRoot.isIntegral_root

Modification history