Def Set.sUnionPowersetGI

Modification history

2024-12-08 15:02
Mathlib/Data/Set/Lattice.lean
chore(*): rename some `defs` to `camelCase` (#19795)
Added Set.sUnionPowersetGIView on Github →