Theorem AdjoinRoot.coe_liftHom

Modification history