Theorem Finpartition.biUnion_parts

Modification history