nia
should be able to prove x * y = 1 -> x = 1 \/ x = -1
#17935
Labels
part: micromega
The lia, nia, lra, nra and psatz tactics. Also the legacy omega tactic.
The text was updated successfully, but these errors were encountered: