Mathlib Changelog
v4
Changelog
About
Github
Def
Qq.mkSetLiteralQ
Modification history
2025-04-16 09:34
Mathlib/Util/Qq.lean
feat(Lean/ToExpr): add helper functions to create `Expr` for finsets/sets/multisets (#23025) …
Added
Qq.mkSetLiteralQ
View on Github →