Theorem LinearMap.adjoint_comp

Modification history

2023-06-01 13:13

Mathlib/Analysis/InnerProductSpace/Adjoint.lean

feat: port Analysis.InnerProductSpace.Adjoint (#4476)

Added LinearMap.adjoint_comp View on Github →