Theorem Finpartition.mk_mem_nonUniforms_iff

Modification history