Commit 89a2c46e6198f188393415151620f6fb5f160e11

Ebrahim Byagowi 2020-06-20T00:31:46

[math] Use dagger (#2478) * [math] Use dagger * [ot-math] Address Behdad's review