Theorem Finset.fold_const

Modification history