Refinement E-Graphs

2 points | by philzook 11 hours ago