• ArbitraryValue
    link
    fedilink
    English
    arrow-up
    6
    arrow-down
    1
    ·
    edit-2
    2 days ago

    If you can prove a contradiction then you can prove anything, and here we have ¬ads = ads. BRB there’s some stuff I want to prove that I have.