• iAvicenna@lemmy.world
    link
    fedilink
    English
    arrow-up
    18
    ·
    edit-2
    1 个月前

    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)