Assertion: block matrix | /r/HasProperty | square
Facets:
Source sentences:
text: If a block matrix is square, its characteristic polynomial can be factored with