Theorem Set.sUnion_powerset_gc

Modification history

2023-09-09 15:10
Mathlib/Data/Set/Lattice.lean
feat: (sSup, Iic) and (Ici, sInf) are Galois connections (#6951)
Added Set.sUnion_powerset_gcView on Github →