22/04/27 23:37:01.67 UAVjJ+6B.net
等号原理は無関係だし、
Xの同型で同一視したπ1(X)で議論するならπ1(X)の同型は考えずに固定されたX0に対するπ1(X0)で良い、というショルツの単純化も先の話で、
まずはCor 3.12がコンピュータで理解できるような数学の本来の形の証明になってない、ということを理解するのが初めだと思うけどな
皆京大にそれを理解してもらうのを諦めたのかもしれないが
22/04/27 23:37:01.67 UAVjJ+6B.net
等号原理は無関係だし、
Xの同型で同一視したπ1(X)で議論するならπ1(X)の同型は考えずに固定されたX0に対するπ1(X0)で良い、というショルツの単純化も先の話で、
まずはCor 3.12がコンピュータで理解できるような数学の本来の形の証明になってない、ということを理解するのが初めだと思うけどな
皆京大にそれを理解してもらうのを諦めたのかもしれないが