Suppose NASA's Mars Helicopter, Ingenuity, successfully achieved the first powered, controlled flight on another planet on April 19, 2021. The tiny helicopter was carried to Mars by the Perseverance rover, which landed on the planet in February 2021.
Can we infer that "Ingenuity is the first helicopter ever built."? Yes, no, or maybe?