Mathlib v3 is deprecated. Go to Mathlib v4

Def set.singleton_hom

Modification history

2022-05-10 11:03

src/data/set/pointwise.lean

chore({data/{finset,set},order/filter}/pointwise): Reorganize files (#14021) …

Deleted set.singleton_hom View on Github →

2020-07-03 20:42

src/algebra/pointwise.lean

feat(algebra/pointwise): make instances global (#3240) …

Added set.singleton_hom View on Github →