Mathlib Changelog
v4
Changelog
About
Github
Def
PerfectPairing.toDualRight
Modification history
2025-01-15 22:33
Mathlib/LinearAlgebra/PerfectPairing/Basic.lean
chore: split file `LinearAlgebra.PerfectPairing` (#20780) …
Modified
PerfectPairing.toDualRight
View on Github →
2024-11-07 11:59
Mathlib/LinearAlgebra/PerfectPairing.lean
feat: define restrictions of perfect pairings (#18559) …
Added
PerfectPairing.toDualRight
View on Github →