This is a category for discoveries by Norwegian astronomerTommy Grav.
Seeparent category for propersortkey usage instructions.
The following 8 pages are in this category, out of 8 total.This list may not reflect recent changes.
