#NEWLINE# @ staticmethod #NEWLINE# def MatMul( expr , assumptions ) : #NEWLINE# #INDENT# if all ( ( ask ( Q . fullrank ( arg ) , assumptions ) for arg in expr . args ) ) : #NEWLINE# #INDENT# return True