Theorem AdjoinRoot.eval₂_root

Modification history