Theorem Finpartition.subset

Modification history