Def Set.sUnionPowersetGI

Modification history

2026-08-24 10:14

Mathlib/Data/Set/Lattice.lean

refactor(Data/Set): split long file Lattice.lean (#43030) …

Modified Set.sUnionPowersetGI View on Github →

2024-12-08 15:02

Mathlib/Data/Set/Lattice.lean

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

Added Set.sUnionPowersetGI View on Github →