Mathlib Changelog
v4
Changelog
About
Github
Structure
PerfectPairing
Modification history
2023-12-13 17:01
Mathlib/LinearAlgebra/PerfectPairing.lean
feat: define root data / systems (#8882)
Added
PerfectPairing
View on Github →