Def Lean.PHashSet.toList

Modification history

2024-07-19 05:13

Mathlib/Lean/Meta/Simp.lean

chore(Mathlib/Lean): remove use of autoImplicit (#14884) …

Deleted Lean.PHashSet.toList View on Github →

2023-03-16 23:07

Mathlib/Lean/Meta/Simp.lean

feat: merge Util.Simp and Lean.Meta.Simp, add 4 decls (#2397)

Modified Lean.PHashSet.toList View on Github →

2022-10-01 22:27

Mathlib/Util/Simp.lean

chore: update lean + std4 09-30 (#448)

Added Lean.PHashSet.toList View on Github →