Theorem Finset.singletonMonoidHom_apply

Modification history