Commit 2023-08-18 14:52 96f0a900
View on Github →feat(LinearAlgebra/Dual): ULift M is reflexive (#6661)
The TODO for this assumed that LinearEquiv.ulift was missing, but in fact it already existed.
feat(LinearAlgebra/Dual): ULift M is reflexive (#6661)
The TODO for this assumed that LinearEquiv.ulift was missing, but in fact it already existed.