Theorem AdjoinRoot.algebraMap_eq

Modification history