Mathlib v3 is deprecated. Go to Mathlib v4

Structure dual_pair

Modification history

2022-09-12 18:27

src/linear_algebra/dual.lean

chore(linear_algebra): rename dual_pair (#16482) …

Deleted dual_pair View on Github →

2021-05-14 09:48

src/linear_algebra/dual.lean

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

Modified dual_pair View on Github →

2019-10-21 22:57

src/linear_algebra/dual.lean

feat(*): various lemmas from the sensitivity project (#1550) …

Added dual_pair View on Github →