Theorem Finite.le_ciSup

Modification history

2025-08-11 08:45
Mathlib/Order/ConditionallyCompleteLattice/Finset.lean
feat: the Geck Construction yields trace-free matrices (#27831) …
Added Finite.le_ciSupView on Github →