• mozz@mbin.grits.dev
    link
    fedilink
    arrow-up
    6
    arrow-down
    1
    ·
    6 months ago

    Bro I’m telling you, you gotta set up your lemmas a little bit and get everything in order before you get to the QED