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.mkSetLiteralQView on Github →