Def Setoid.IsPartition

Modification history