Category:Discoveries by Tommy Grav

This is a category for discoveries by Norwegian astronomer Tommy Grav.

See parent category for proper sortkey usage instructions.