Def Finset.pimage

Modification history