Notes for AKT-091020/0:19:13

From Drorbn
Revision as of 22:34, 21 October 2009 by Conan777 (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Fundamental theorem UFTI

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

Let be the dual basis of