Theorem Basis.flag_le_flag

Modification history

2024-12-05 01:28
Mathlib/LinearAlgebra/Basis/Flag.lean
chore: add more gcongr attributes (#17610) …
Added Basis.flag_le_flagView on Github →