Def Pmf.uniformOfFintype

Modification history