Theorem AdjoinRoot.lift_mk

Modification history