Theorem Set.powerset_insert

Modification history

2023-02-27 17:04
Mathlib/Data/Set/Image.lean
feat: forward-port leanprover-community/mathlib#18356 (#2000) …
Added Set.powerset_insertView on Github →