mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(linear_algebra/matrix): Add matrix properties for sesquilinear forms

Open mcdoll opened this issue 2 years ago • 0 comments

The structure is taken literally from linear_algebra/matrix/bilinear_form with generalizations and easier proofs where possible.

Open in Gitpod

mcdoll avatar Aug 07 '22 12:08 mcdoll