Update ssr.tex
Merge branch 'patch-6' of https://github.com/jiesipei/formalization-of-mathematics into jiesipei-patch-6

Conflicts:
	reports/full/src/coq/ssr.tex
Merge changes from Jesper