James Ray fceaf2293b Chore/grammar (#701)
* Add a space.

* qed -> QED and ' ; qed' -> '; QED'

* ' ; QED' -> '; QED'
2018-11-29 16:38:52 +01:00
..
2018-11-29 16:38:52 +01:00
2018-11-27 10:35:47 +01:00