Theorem AdjoinRoot.smul_of

Modification history