Theorem Finite.ciInf_le

Modification history

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