Theorem MonoidHom.one_apply

Modification history