Mathlib Changelog
v4
Changelog
About
Github
Def
PerfectPairing.restrictScalarsField
Modification history
2024-11-28 16:12
Mathlib/LinearAlgebra/PerfectPairing.lean
feat: drop finite-dimensionality assumption from `PerfectPairing.restrictScalarsField` (#18940)
Modified
PerfectPairing.restrictScalarsField
View on Github →
2024-11-07 11:59
Mathlib/LinearAlgebra/PerfectPairing.lean
feat: define restrictions of perfect pairings (#18559) …
Added
PerfectPairing.restrictScalarsField
View on Github →