Closed bvssvni closed 3 years ago
This improves performance of theorem proving when an equivalence satisfies the goal.
This improves performance of theorem proving when an equivalence satisfies the goal.