Theorem Finset.coe_singletonMonoidHom

Modification history