Notes for AKT-091020/0:08:39

From Drorbn
Jump to navigationJump to search

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