Theorem Finpartition.nonempty_of_not_uniform

Modification history