Mathlib v3 is deprecated. Go to Mathlib v4

Theorem basis.eval_ker

Modification history

2021-05-14 09:48

src/linear_algebra/dual.lean

feat(linear_algebra/dual): generalize from field to ring (#7599)

Added basis.eval_ker View on Github →