Theorem Finpartition.nonuniformWitness_mem_nonuniformWitnesses

Modification history