Theorem Set.singletonMonoidHom_apply

Modification history