Theorem Finpartition.botIsUniform

Modification history