Theorem Set.unop_mem_unop

Modification history

2022-12-13 21:37
Mathlib/Data/Set/Opposite.lean
feat: port Data.Set.Opposite (#983) …
Added Set.unop_mem_unopView on Github →