src/HOL/Library/Groups_Big_Fun.thy
2014-09-06 haftmann 2014-09-06 theory about sum and product on function bodies