Theorem IsAdjoinRoot.eq_lift

Modification history