Theorem Finset.infs_singleton

Modification history