Theorem Finset.inf'_prodMap

Modification history

2025-02-14 22:50

Mathlib/Data/Finset/Lattice/Fold.lean

chore(Data/Finset): don't import algebra in `Finset.Lattice.Fold` (#21883) …

Modified Finset.inf'_prodMap View on Github →

2023-12-27 08:00

Mathlib/Data/Finset/Lattice.lean

feat: Finite supremum over a product (#9223) …

Added Finset.inf'_prodMap View on Github →