Kata Training

Loading Limit of a uniformly convergent sequence of functions

Beta

Loading Limit of a uniformly convergent sequence of functions

Beta

Limit of a uniformly convergent sequence of functions

Language

Lean
Language Version

- VIM
- EMACS

Loading description...

Theorem Proving

Fundamentals

Your output will be shown here

Solution

Sample Tests

Test Attempt Submit