Theorem Finset.attach_empty

Modification history