Theorem Finset.empty_infs

Modification history