Theorem Basis.flag_lt_flag

Modification history

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