Lifting E-Graphs

1 points by mjn