Notes for AKT-091020/0:08:39

From Drorbn
Revision as of 21:58, 21 October 2009 by Conan777 (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Claim: the fundamental theorem holds iff universal finite type exists.

Retrieved from "https://drorbn.net/index.php?title=Notes_for_AKT-091020/0:08:39&oldid=8317"