- Make the notation f = g +o_e stable (e.g. by putting a definition) https://github.com/math-comp/analysis/blob/1566e324cd4b56d09a1660521d1c31c3e2ec83da/landau.v#L199 - Remove the "'the" tag which makes things unreadable https://github.com/math-comp/analysis/blob/1566e324cd4b56d09a1660521d1c31c3e2ec83da/landau.v#L135 ...
analysis/landau.v
Line 199 in 1566e32
analysis/landau.v
Line 135 in 1566e32
...