Theorem IsAdjoinRoot.lift_self_apply

Modification history