Theorem Pi.basisFun_equivFun

Modification history

2023-05-23 22:59
Mathlib/LinearAlgebra/StdBasis.lean
chore: forward-port leanprover-community/mathlib#19021 (#4257)
Added Pi.basisFun_equivFunView on Github →