Notes for AKT-091020/0:19:13: Difference between revisions

From Drorbn
Jump to navigationJump to search
No edit summary
 
(No difference)

Latest revision as of 22:34, 21 October 2009

Fundamental theorem UFTI

For all , pick basis of , by fundamental theorem, there are type invariants where

Let be the dual basis of