Theorem Finset.singleton_infs

Modification history