fix 'implies' case of symm_eq - SemanticDiff

Commit

3 years ago

fix 'implies' case of symm_eq

References

dwrensha-tauto-cleanup

#17958 - fix(tactic/tauto) fix some bugs in symm_eq

Author

dwrensha

dwrensha

Committer

dwrensha

dwrensha

Parents

Loading