Theorem Finset.inf'_product_left

Modification history

2024-01-14 17:10

Mathlib/Data/Finset/Lattice.lean

feat(Finset/{NAry,Pointwise}): add lemmas about `Finset.sup` etc (#8950)

Modified Finset.inf'_product_left View on Github →

2023-09-09 21:45

Mathlib/Data/Finset/Lattice.lean

feat: More `Finset.sup'` lemmas (#7021) …

Added Finset.inf'_product_left View on Github →