Theorem Setoid.IsPartition.pairwiseDisjoint

Modification history