Abstract
In this article we formalize in Mizar [1], [2] a derivation of commutative rings, its definition and some properties. The details are to be referred t......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
