Theorem Set.singletonMulHom_apply

Modification history