mathlib3
7cb0a851 - refactor(topology): rename `lim` to `Lim` (#2977)

Commit

5 years ago

refactor(topology): rename `lim` to `Lim` (#2977) Also introduce `lim (f : filter α) (g : α → β)`.

Author

urkud

Parents