Oxide

Results 8 comments of Oxide

Even simpler: {y} is closed in a Hausdorff topology, so f^(-1) ({y}) is closed since f is continuous. (In fact your sequence reasoning only works assuming Hausdorffness, otherwise you'd use...

Very cool, you can prove the ubiquitous Lefschetz fixed-point formula using this.

Try putting this in your .vimrc before `colorscheme one`: `set termguicolors` or, the longer version: ```"Credit joshdick "Use 24-bit (true-color) mode in Vim/Neovim when outside tmux. "If you're using tmux...

yeah, probably because of the tmux. try vim without tmux?

Oh, wow. Have you tried the same thing with other terminals? Though since you said you were using urxvt and gnome-terminal, it shouldn't happen. can you post your `.vimrc`?

Try putting `syntax on` right after `call plug#end()`

Not exactly, but I was thinking an introduction to various kinds of sorting algorithms would be nice.

Thanks a lot. Will definitely look into this.