Commit 8ac493512cecd8c2202f0f96bbfb50438f6d6b5c

Daniel Mendler 2019-10-29T20:06:20

simplifications: mul/sqr comba