Notes for AKT-091020/0:08:39: Difference between revisions
From Drorbn
Jump to navigationJump to search
No edit summary |
(No difference)
|
Latest revision as of 21:58, 21 October 2009
Claim: the fundamental theorem holds iff universal finite type exists.