Theorem Setoid.exists_of_mem_partition

Modification history