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