{"push_id":863862708,"size":1,"distinct_size":1,"ref":"refs/heads/fusion","head":"bfa94ba76c23a7f775f2c10eb6c15353dbac9382","before":"e2101fd4e14cddb5d330ffb0c6da3d804c1df620","commits":[{"sha":"bfa94ba76c23a7f775f2c10eb6c15353dbac9382","author":{"email":"05c7c2712eab81287658c607466a3eb2b59dcd80@gmail.com","name":"Daniel Selsam"},"message":"feat(library/abstract_expr_manager): compare exprs ignoring subsingletons","distinct":true,"url":"https://api.github.com/repos/dselsam/lean/commits/bfa94ba76c23a7f775f2c10eb6c15353dbac9382"}]}