search

math-comp / analysis

Mathematical Components compliant Analysis Library
Other
200 stars 44 forks source link

numeric local notations not needed anymore #1308

Closed affeldt-aist closed 1 month ago

affeldt-aist commented 1 month ago

https://github.com/math-comp/analysis/blob/2a5db32b511605cc3a678cdbe655db61989aeccc/theories/numfun.v#L478