How I use Anki to learn mathematics — LessWrong