Theorem AdjoinRoot.root_is_inv

Modification history