mathlib
e2fa8b2b - chore(test/refine_struct): remove dead code (#2348)

Commit

5 years ago

chore(test/refine_struct): remove dead code (#2348) Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

References

Author

gebner

Parents