Theorem Finpartition.indiscrete_isEquipartition

Modification history