Likely unwanted commentary but how do you do leech handling/minimum information principle with your math cards? I'm a SuperMemo user and I think one of the biggest failures I see with Anki, in general, is that it doesn't handle leeches well (leeches are cards you repeatedly fail that end up taking most of your time) and failure to adhere to minimum information principle (only 1 thing to recall per card). I think with math this would become even more difficult if you make minute long cards to go over some proof you will definitely be setting yourself up to suffer.