Theorem Set.singleton_op

Modification history

2023-04-18 01:37
Mathlib/Data/Set/Opposite.lean
chore: made Opposite a structure (#3193) …
Modified Set.singleton_opView on Github →
2022-12-13 21:37
Mathlib/Data/Set/Opposite.lean
feat: port Data.Set.Opposite (#983) …
Added Set.singleton_opView on Github →