Apr 15 at 22:47, by Feeds
0
I suggest to make integral a synonym of integration. integral $\times 25$, no usage guidance integration $\times 717$, has usage guidance. I can see no distinction between their use, I think these are practically strict synonyms.