Def Set.iUnion_delab

Modification history

2024-02-11 19:22

Mathlib/Data/Set/Lattice.lean

chore(Order/*): move `SupSet`, `Set.sUnion` etc to a new file (#10232)

Modified Set.iUnion_delab View on Github →

2023-10-13 21:18

Mathlib/Data/Set/Lattice.lean

feat: long overdue delaborators (#7633) …

Added Set.iUnion_delab View on Github →