a woman astronomer
... that the asteroid 3241 Yeshuhua is named after a woman astronomer?
... that the asteroid <a class="mw-redirect" href="./3241_Yeshuhua" id="mwDEg" rel="mw:WikiLink" title="3241 Yeshuhua">3241 Yeshuhua</a> is named after <b id="mwDEk"><a href="./Ye_Shuhua" id="mwDEo" rel="mw:WikiLink" title="Ye Shuhua">a woman astronomer</a></b>?