swh:1:snp:2c68c8bd649bf1bd2cf3bf7bd4f98d247b82b5dc
History
Tip revision: 49982b9e2fa7dd52cf5f4169c5a36f455f0b8e26 authored by Jing Pu on 28 May 2018, 21:21:13 UTC
Add simplify rules for a modulo of a difference (in the new simplifier).
Tip revision: 49982b9

back to top