search

math-comp / analysis

Mathematical Components compliant Analysis Library
Other
209 stars 47 forks source link

name: `le0r_derive1_ndecr` #1380

Open affeldt-aist opened 3 weeks ago

affeldt-aist commented 3 weeks ago

https://github.com/math-comp/analysis/blob/d26b17b16fb276dc9fb283088c1179765d9bbd7a/theories/derive.v#L1623

should maybe have been ge0r_derive1_ndecr

affeldt-aist commented 6 days ago

Moreover, there is a pending generalization -> postpone to 1.8.0