Theorem IsAdjoinRoot.liftHom_root

Modification history