Theorem MonoidHom.inv_comp

Modification history