Theorem Finset.coeMonoidHom_apply

Modification history