Theorem Finite.le_ciSup_of_le

Modification history

2026-03-03 11:03
Mathlib/Data/Fintype/Order.lean
feat(Data/Fintype/Order): add API for ciSup with finite indexing type (#35260) …
Added Finite.le_ciSup_of_leView on Github →