Theorem Monotone.iUnion_nat_add

Modification history

2026-08-24 10:14

Mathlib/Data/Set/Lattice.lean

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

Modified Monotone.iUnion_nat_add View on Github →

2023-05-14 07:05

Mathlib/Data/Set/Lattice.lean

chore: Rename to `sSup`/`iSup` (#3938) …

Added Monotone.iUnion_nat_add View on Github →