• iAvicenna@lemmy.world
    link
    fedilink
    English
    arrow-up
    17
    ·
    edit-2
    2 months ago

    yea this is one of those theorems but history is studded with “the proof is obvious” lemmas that has taken down entire sets of theorems (and entire PhD theses)