Assertion: algorithm's input | /r/HasProperty | matrices a of size
Facets:
Source sentences:
text: Inputs: matrices A of size n × m , B of size m