Sang-jŏm Chŏng

1693

• Yŏkchu Purhuhŏn munjip