Theorem Finpartition.equitabilise_isEquipartition

Modification history