Def setOf

Modification history

2021-05-25 13:38
Mathlib/Set.lean
feat(Set): port Lean 3 init.data.set (#8) …
Added setOfView on Github →