Theorem AdjoinRoot.root_isInv

Modification history