Theorem IsAdjoinRoot.lift_root

Modification history