Def Set.sUnion_powerset_gi

Modification history

2024-12-08 15:02

Mathlib/Data/Set/Lattice.lean

chore(*): rename some `defs` to `camelCase` (#19795)

Deleted Set.sUnion_powerset_gi View on Github →

2023-09-09 15:10

Mathlib/Data/Set/Lattice.lean

feat: (sSup, Iic) and (Ici, sInf) are Galois connections (#6951)

Added Set.sUnion_powerset_gi View on Github →