wlia anomaly with bad arguments #16860
Labels
kind: anomaly
An uncaught exception has been raised.
kind: user messages
Improvement of error messages, new warnings, etc.
part: micromega
The lia, nia, lra, nra and psatz tactics. Also the legacy omega tactic.
Description of the problem
Coq Version
8.16.0
The text was updated successfully, but these errors were encountered: