the proof of cvg_at_rightP
should be shorter
#1134
Labels
enhancement ✨
This issue/PR is about adding new features enhancing the library
analysis/theories/realfun.v
Line 111 in 8196991
"In a textbook all four of these proofs would be three liners:
The proof you have is fine, I'm not complaining about it. I am complaining that some missing classical machinery is making these proofs longer than necessary." @zstone1
The text was updated successfully, but these errors were encountered: