DMCA

Construction of rings and left-, right-, and bi-modules over a ring (1990)

by Michał Muzalewski
Venue:Journal of Formalized Mathematics
Citations:63 - 16 self