Theorem Setoid.isPartition_classes

Modification history