>>147,>>148
聞いてみたらZornでした
手書きだったので、移し間違ってたみたいです


Zornの補題の説明はググって出てきたやつを書いていたら十分でしょうか
わかりやすく説明してるサイトがあれば教えてほしいです
というか、誰か教えてください