Def Finset.singletonMonoidHom

Modification history