<h1>Yu, Xin</h1>
<h2>Monograph from <a href="https://authors.library.caltech.edu">CaltechAUTHORS</a></h2>
<ul>
<li>Yu, Xin and Hickey, Jason (2003) <a href="https://resolver.caltech.edu/CaltechCSTR:2003.004">Formalizing Abstract Algebra in Constructive Set Theory</a>; <a href="https://doi.org/10.7907/Z94T6GB8">10.7907/Z94T6GB8</a></li>
</ul>