Theorem Finset.fold_sup_bot_singleton

Modification history