Theorem List.tendsto_nhds

Modification history

2023-08-10 19:52

Mathlib/Topology/List.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified List.tendsto_nhds View on Github →

2023-02-16 01:18

Mathlib/Topology/List.lean

feat: Port/Topology.List (#2287) …

Added List.tendsto_nhds View on Github →