Theorem exists_sUnion

Modification history

2024-04-14 10:41

Mathlib/Data/Set/Lattice.lean

chore: remove autoImplicit from more files (#11798) …

Modified exists_sUnion View on Github →

2023-08-20 21:55

Mathlib/Data/Set/Lattice.lean

feat: easy lemmas about extrema indexed by a union (#6693)

Added exists_sUnion View on Github →