Theorem Finite.exists_max

Modification history

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