A simplification tactic for Z-module equations, specific to Z#17

pi8027 wants to merge 1 commit intomainrocq-community/metaprogramming-rosetta-stone:mainfrom

ac-simplifier-Zrocq-community/metaprogramming-rosetta-stone:ac-simplifier-ZCopy head branch name to clipboard