Theorem IsAdjoinRoot.liftHom_aequiv

Modification history