Commit 2022-12-15 04:45 fd6ea186
View on Github →feat: port Data.Set.Function (#1035) mathlib3 SHA: 198161d833f2c01498c39c266b0b3dbe2c7a8c07 porting notes:
- There are just a few declarations that need fixing still
- This was mostly fine, primarily tedious. One place I had to give an ugly workaround to avoid using
lift
since we don't have that yet.