Commit d7c50ff0d65192fd2b7b80704e227fa108c06de3

Ebrahim Byagowi 2018-11-15T23:10:49

[math] minor, adjust spaces