Symmetric matrix
Set
context | X |
context | n∈N |
definiendum | A∈SymmetricMatrix(n,X) |
postulate | AT=A |
Discussion
Reference
Wikipedia: Symmetric matrix
context | X |
context | n∈N |
definiendum | A∈SymmetricMatrix(n,X) |
postulate | AT=A |
Wikipedia: Symmetric matrix