• Pierre Roux's avatar
    Port to MathComp 2 · 342fd185
    Pierre Roux authored
    Among notable changes, we can ow use + and * notations in scope
    ring_scope on semirings, including the semiring of functions Fd.
    This also changes the UPP definition from [T, T+d) periods
    to (T, T+d] periods, and all the changes that this implies.