Commit 2025-04-16 09:34 79e9db7b
View on Github →feat(Lean/ToExpr): add helper functions to create Expr for finsets/sets/multisets (#23025)
This PR adds some helper functions for building Expr terms for finsets/sets/multisets. One application of this is the creation of certain simprocs (see e.g. #23026).