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
Fundamental theorem UFTI
For all , pick basis of , by fundamental theorem, there are type invariants where
Let be the dual basis of