Write an efficient algorithm that searches for a value in an m x n matrix. This matrix has the following properties:
Example 1:

Input: matrix = [[1,3,5,7],[10,11,16,20],[23,30,34,50]], target = 3
Output: true
Example 2:

Input: matrix = [[1,3,5,7],[10,11,16,20],[23,30,34,50]], target = 13
Output: false
Example 3:
Input: matrix = [], target = 0
Output: false
Constraints:
m == matrix.lengthn == matrix[i].length0 <= m, n <= 100104 <= matrix[i][j], target <= 104