Theorem IsAdjoinRoot.aeval_eq

Modification history