Theorem Finpartition.atomise_empty

Modification history