Theorem Finpartition.mem_part_ofSetSetoid_iff_rel

Modification history