Def Lean.PHashSet.toList.{u}

Modification history

2024-07-19 05:13
Mathlib/Lean/Meta/Simp.lean
chore(Mathlib/Lean): remove use of autoImplicit (#14884) …
Added Lean.PHashSet.toList.{u}View on Github →