Morphisms 章节 发表日期： 2025年 查看全文 William M. Farmer 摘要 This chapter introduces theory and development morphisms and shows how they can be used to construct libraries of mathematical knowledge.
