Question: A Mars crater is named after the successor of who?
Sentence (from "Halley (Martian crater)"): It is 84.5 km in diameter and was named after Edmond Halley, and the name was approved in 1973.
Relevant evidence: Yes