Notes for AKT-091020/0:08:39

From Drorbn
Jump to: navigation, search

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