Def Std.PHashSet.toList

Modification history

2022-10-01 22:27

Mathlib/Util/Simp.lean

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

Deleted Std.PHashSet.toList View on Github →

2022-02-24 13:15

Mathlib/Util/Simp.lean

feat: `norm_cast` (#191)

Added Std.PHashSet.toList View on Github →