cleanup on ubuntu
Merge branch 'master' of https://github.com/wollollo/Maths

Conflicts:
	library.bib
	library.keys
	work/block-varieties/trivial-intersection-means-no-maps.tex
	work/localizingBCR/tensor2.tex