Theorem LinearMap.IsSymm.domRestrict

Modification history

2023-04-24 22:04

Mathlib/LinearAlgebra/SesquilinearForm.lean

chore: tidy various files (#3629)

Added LinearMap.IsSymm.domRestrict View on Github →