Interesting video. It’s believed that some of the rock debris fell to earth.
It's pretty amazing, but true. We can tell that some meteorites are from Mars, because of their chemical signature.
The Allen Hills meteorite, which was found in Antarctica in 1996, is probably the most famous example.