Theorem Finset.mem_sup

Modification history

2024-10-27 19:58

Mathlib/Data/Finset/Lattice.lean

feat: a product of indicators is the indicator of the product (#17964)

Modified Finset.mem_sup View on Github →

2023-01-17 10:40

Mathlib/Data/Finset/Lattice.lean

feat: port Data.Finset.Lattice (#1606)

Added Finset.mem_sup View on Github →