Affiliation
发表于 2025-3-23 10:16:57
http://reply.papertrans.cn/63/6266/626586/626586_11.png
墙壁
发表于 2025-3-23 17:02:57
http://reply.papertrans.cn/63/6266/626586/626586_12.png
全部逛商店
发表于 2025-3-23 18:45:47
http://reply.papertrans.cn/63/6266/626586/626586_13.png
机密
发表于 2025-3-23 22:13:37
http://reply.papertrans.cn/63/6266/626586/626586_14.png
Gullible
发表于 2025-3-24 02:59:57
Formalisation of the Category of Hopf Algebras in etween the category of commutative .-Hopf algebras and the category of affine group schemes over ., where the latter is defined as group objects of corepresented functors from commutative .-algebras to ..
Palliation
发表于 2025-3-24 09:12:33
http://reply.papertrans.cn/63/6266/626586/626586_16.png
消极词汇
发表于 2025-3-24 13:11:52
http://reply.papertrans.cn/63/6266/626586/626586_17.png
BATE
发表于 2025-3-24 18:48:22
http://reply.papertrans.cn/63/6266/626586/626586_18.png
外貌
发表于 2025-3-24 23:02:36
http://reply.papertrans.cn/63/6266/626586/626586_19.png
convert
发表于 2025-3-25 01:58:56
Formalising Analysis in Lean: Compactness and Dimensionality, which posed some difficulties in its formalisation. We showcase Lean’s role in enhancing understanding and generalization of proofs by prompting us to explore broader definitions and theorems within the Mathlib library.