Theorem MonoidHom.div_comp

Modification history