symmetric matrices - Githubissues

HoTT / Coq-HoTT

A Coq library for Homotopy Type Theory

http://homotopytypetheory.org/

Other

1.25k stars 193 forks source link

Closed Alizter closed 3 months ago

Alizter commented 3 months ago

In this PR we:

Define a predicate on matrices IsSymmetric. Symmetric matrices are invariant under transposition.
Show various operations and matrices are closed under being symmetric.