Theorem Finpartition.parts_map

Modification history