added a lemma about equivalences
Merge branch 'master' of https://github.com/benediktahrens/rezk_completion
started ssp
some more in ssp cats
uargh
more about leqs
port lemmas to leq
what?
implicit arguments for nat_trans fields
Merge branch 'master' of github.com:benediktahrens/rezk_completion

Conflicts:
	Make
	Make.makefile