Def Finpartition.ofSetoid

Modification history