Theorem topological_space.first_countable_topology.tendsto_subseq
Modification history
2021-02-02 07:14
src/topology/bases.lean
chore(topology/bases): rewrite 2 proofs using tactic mode (#5996) …
Modified topological_space.first_countable_topology.tendsto_subseqView on Github →