Theorem Finset.infs_empty

Modification history