repair use of total2 after update to Foundations, completion
Merge branch 'master' of github.com:benediktahrens/rezk_completion

resolved a conflict in sub_precategories.v for the better
Merge pull request #2 from DanGrayson/master

merge fixes after removal of canonical structures