Theorem IsAdjoinRoot.eq_liftHom

Modification history