Theorem Basis.flag_wcovBy

Modification history

2024-01-09 09:25
Mathlib/LinearAlgebra/Basis/Flag.lean
chore(Covby): rename `Covby` to `CovBy` (#9578) …
Added Basis.flag_wcovByView on Github →