Theorem AdjoinRoot.isIntegral_root'

Modification history