Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-10 17:05 664feede

View on Github →

chore(topology/algebra/ordered): add some at_bot versions of lemmas (#6618)

Estimated changes

added theorem tendsto_at_bot_cinfi
added theorem tendsto_at_bot_csupr
added theorem tendsto_at_bot_infi
added theorem tendsto_at_bot_supr