Jake
→证明
14:31
+15
+1
无编辑摘要
14:30
+391
14:26
-63
→范畴论版本的Lawvere定理
14:21
+35
14:15
-11
14:07
-12
建立内容为“Lawvere不动点定理（也称为Lawvere对角线定理，1969年提出）是采用范畴论语言，统一刻画对角线自指与不动点现…”的新页面
20:02
+7,992