Theorem Finpartition.top_isEquipartition

Modification history