20120914 
Helmut Grohne  \::subst is a special case of substcong 
blob  commitdiff 
20120914 
Helmut Grohne  veclenvialist and lengthtoList are the same 
blob  commitdiff  diff to current 
20120914 
Helmut Grohne  complete missing parts of LiftGet 
blob  commitdiff  diff to current 
20120911 
Helmut Grohne  show fromListtoList in the subst form 
blob  commitdiff  diff to current 
20120911 
Helmut Grohne  LiftGet: replace veclengthsame with toListsubst 
blob  commitdiff  diff to current 
20120910 
Helmut Grohne  LiftGet: veclength is also known as subst (Vec A) 
blob  commitdiff  diff to current 
20120904 
Helmut Grohne  formulate List <> Vec isomorphism problems 
blob  commitdiff  diff to current 
20120830 
Helmut Grohne  prove LiftGet.gettrafo2getlen 
blob  commitdiff  diff to current 
20120830 
Helmut Grohne  phrase other half of bijection in LiftGet 
blob  commitdiff  diff to current 
20120830 
Helmut Grohne  prove half of the bijection in LiftGet 
blob  commitdiff  diff to current 
20120830 
Helmut Grohne  give the type of different gets a name 
blob  commitdiff  diff to current 
20120806 
Helmut Grohne  attempt isomorphism between get on List and on Vec 
blob  commitdiff  diff to current 
