Notes for AKT-091020/0:19:13

From Drorbn
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