Pages that link to "Item:Q2069874"

The following pages link to Formalization of ring theory in PVS. Isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theorem (Q2069874):

Displaying 1 item.

• A formalization of Dedekind domains and class groups of global fields (Q2102929) (← links)