Theorem Finset.singletonMulHom_apply

Modification history