Theorem continuous_iff_towards
Modification history
2017-08-10 16:50
topology/continuity.lean
rename towards -> tendsto
Deleted continuous_iff_towardsView on Github →2017-08-10 16:36
topology/continuity.lean
construct reals as complete, linear ordered field
Modified continuous_iff_towardsView on Github →