Closed ybertot closed 3 years ago
explain when using the big operation that we are re-using a notation.
fix issue #128
explain when using the big operation that we are re-using a notation.