Theorem IsAdjoinRoot.liftHom_map

Modification history