search

math-comp / algebra-tactics

Ring, field, lra, nra, and psatz tactics for Mathematical Components
32 stars 2 forks source link

Revert "Workaround for #87" #99

Closed pi8027 closed 3 weeks ago

pi8027 commented 3 months ago

This reverts commit 2a14b95326b65870a8b684088214a89814a55c30.

Fix #92