Commit 61f52231f430c72e1b66b76dabb018cfe45a01d5

Behdad Esfahbod 2018-11-05T23:28:52

[math] Shorten names a bit