小行星4095 编辑
小行星4095是一颗围绕太阳公转的小行星。1987年9月16日，关勉在芸西天文台发现了此天体，以石锤山命名。
3