mathlib3
77823910 - avoid adding edge which could create cycles

Commit

3 years ago

avoid adding edge which could create cycles

References

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

Author

dwrensha

dwrensha

Committer

dwrensha

dwrensha

Parents

Loading