Theorem Finset.fold_congr

Modification history