Insert "coq" here to get coloring once the feature is implemented in Rocqnavi (@yoshihiro503): https://github.com/math-comp/analysis/blob/d083e3fafa65b07ffa656ec4b3f47a6fbdd3fc2d/theories/derive.v#L66 fyi: @yosakaon
Insert "coq" here to get coloring once the feature is implemented in Rocqnavi (@yoshihiro503):
analysis/theories/derive.v
Line 66 in d083e3f
fyi: @yosakaon