0539132人目の素数さん垢版 | 大砲2018/08/07(火) 19:11:20.65ID:FoWsOPqT >>536 類体論は? 米田の埋め込み(Yoneda embedding)、米田の補題(Yoneda lemma)は?