Theorem Associates.mk_monoid_hom_apply

Modification history