Theorem AdjoinRoot.lift_root

Modification history