Assertion: determinant's value | /r/HasProperty | shown by silvester
Facets:
Source sentences:
text: As shown by Silvester, this value must be equal to the determinant of $A$.