Theorem Finset.fold_inf_univ

Modification history

2023-01-19 14:03
Mathlib/Data/Fintype/Lattice.lean
feat: port Data.Fintype.Lattice (#1674)
Added Finset.fold_inf_univView on Github →