Commit 2022-03-18 00:28 a32d58ba
View on Github →feat(analysis/*): generalize set_smul_mem_nhds_zero to topological vector spaces (#12779)
The lemma holds for arbitrary topological vector spaces and has nothing to do with normed spaces.
feat(analysis/*): generalize set_smul_mem_nhds_zero to topological vector spaces (#12779)
The lemma holds for arbitrary topological vector spaces and has nothing to do with normed spaces.