Assertion: determinant's row | /r/CapableOf | create determinant
Facets:
value: with two equal rows
type: MANNER
Source sentences:
text: Multiplying row i by c then multiplies the whole determinant by c but creates a determinant with two equal rows, so the determinant must be 0 again.