Def Set.singletonUnexpander

Modification history

2022-08-22 14:24

Mathlib/Init/Set.lean

feat: port type classes for set notation (#373)

Deleted Set.singletonUnexpander View on Github →

2021-05-26 21:19

Mathlib/Set.lean

feat(Set): Add set notation for finite sets (#9) …

Added Set.singletonUnexpander View on Github →