Theorem Finpartition.part_surjOn

Modification history