Theorem IsAdjoinRoot.lift_self

Modification history