Def Set.powerset

Modification history

2023-06-02 06:13

Mathlib/Init/Set.lean

fix: spacing and indentation in tactic formatters (#4519) …

Modified Set.powerset View on Github →

2021-05-25 13:38

Mathlib/Set.lean

feat(Set): port Lean 3 init.data.set (#8) …

Added Set.powerset View on Github →