Theorem Finite.exists_min

Modification history

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