Theorem AlgHom.coe_comp

Modification history