analysis icon indicating copy to clipboard operation
analysis copied to clipboard

Published 20 hours ago • verified publisher icon math-comp

rename `nneseries_lim_ge0`

Open affeldt-aist opened this issue 2 years ago • 0 comments

https://github.com/math-comp/analysis/blob/9ac498c5f38d1e4870ad4968bdd04d3e098de348/theories/sequences.v#L1635

to nneseries_ge0?

affeldt-aist avatar Aug 15 '22 04:08 affeldt-aist