does the name "Dogelon" come from "Dogelon Mars"? what IS d…

mungojelly ·

does the name "Dogelon" come from "Dogelon Mars"? what IS dogelon mars?? i only vaguely heard of it & never looked much into it