The rules I follow
Decks.
Kind of cards.
Definition
Theorem
Hypothesis
Multiple implications
This leads me to another problem. An hypothesis may have many implications. And a property may be implied by many hypothesis. Therefore, it is better to state:
Figures my first comment would be about this topic as I am currently planning to write a book on how to use SRS to increase learning efficiency (directed at college students)
I have some questions about your use of Anki to learn mathematics because I started using Anki when I was studying Physics and was never able to use it successfully for the purpose of learning math-heavy subjects:
1 - You say that you use Anki so that it is easier to read a textbook so I was wondering whether you think Anki has helped you retain that knowledge in the long term or whether you use it solely while you are going through the textbook
2 - Do you keep your cards in separate decks even after finishing the textbook? I'm of the opinion that a single deck for long-term cards is better for interleaved practice benefits, but one of the problems of math-heavy cards is that they are so context dependent that the interference between cards ends up destroying recall performance so I wanted get your input on how you handle that
3 - Not really a question, but can you upload the Sequence deck anywhere? Can't find it online anymore.
I liked when you said that you add some cards to help break pattern matching, it is also one of the things I've noticed as I've used Anki over the years. I like to think of redundancy as a core concept when thinking about card creation in the sense that some non-trivial things should be added over different cards in differing formulations so that your recall of that piece of knowledge isn't tied to some pattern that isn't available when you're not doing card review.
A first deck is shared on http://milchior.fr/Anki/ I may want to edit it more before uploading it on Ankiweb servers. But I'm confident that this deck have high quality compared to what is currently on ankiweb.