Theorem AdjoinRoot.aeval_eq

Modification history