3 lines
146 B
Text
3 lines
146 B
Text
(integral_by "m") ("f","a","b","n") =
|
|
|
|
iprod ^(* ! div\float"n" minus/"b" "a",~&) ^H(*+ "m"+ -:"f"+ * ^/~& "f",~&ytp) (ari successor "n")/"a" "b"
|