Confirmation and utilization of the “production function” size‐frequency distributions of Martian impact craters