Skip to content

Add integral_of_R, integral_of_R1, integral_of_R2, ... functions

Stéphane Del Pinorequested to merge
feature/discrete-functions into develop

Renamed sum_to_* into sum_of_*

Merge request reports