Def IsReflexive.toPerfectPairingDual

Modification history

2023-12-13 17:01

Mathlib/LinearAlgebra/PerfectPairing.lean

feat: define root data / systems (#8882)

Added IsReflexive.toPerfectPairingDual View on Github →