I am a fan of Anki for lots of things but it always puzzled me people trying to learn analysis and group theory by memorising lots and lots of parts of their lecture notes.
I would test myself on the main steps of some of the proofs before exams but that was the nearest I got to memorisation. It felt like if you needed to memorise definitions then you hadn't used them enough. Even 30 years later, not having done maths for most of that time, I could still tell you the most of the definitions and could still do an epsilon-delta proof - they feel like conceptual things rather than memory things.
Perhaps I was in a way doing spaced repetition just by trying to solve lots of problems and looking things up if I didn't know them but it didn't feel like a memorisation process, more a process of trying to really really understand the mathematics.
I would test myself on the main steps of some of the proofs before exams but that was the nearest I got to memorisation. It felt like if you needed to memorise definitions then you hadn't used them enough. Even 30 years later, not having done maths for most of that time, I could still tell you the most of the definitions and could still do an epsilon-delta proof - they feel like conceptual things rather than memory things.
Perhaps I was in a way doing spaced repetition just by trying to solve lots of problems and looking things up if I didn't know them but it didn't feel like a memorisation process, more a process of trying to really really understand the mathematics.