Theorem Finset.fold_ite'

Modification history