Theorem uniform_space.compact_space_iff_seq_compact_space
Modification history
2022-11-11 07:59
src/topology/sequences.lean
refactor(topology/sequences): golf, review API (#17454) …
Modified uniform_space.compact_space_iff_seq_compact_spaceView on Github →2022-06-09 22:24
src/topology/sequences.lean
chore(topology/sequences): rename variables (#14631) …
Modified uniform_space.compact_space_iff_seq_compact_spaceView on Github →