Поиск заданного числа в упорядоченной двумерной матрице

Требуется реализовать эффективный алгоритм, который ищет число t в целочисленной матрице размером m × n. Матрица обладает двумя свойствами:

• В каждой строке элементы упорядочены по возрастанию слева направо.
• Первый элемент любой строки больше последнего элемента предыдущей строки.

Пример: Вход: mat = [[1, 3, 5, 7], [10, 11, 16, 20], [23, 30, 34, 60]], t = 3 Вывод: true