Sophie
-- -*- M2-comint -*- {* hash: -1099037428 *} i1 : ZZ o1 = ZZ o1 : Ring i2 : module ZZ 1 o2 = ZZ o2 : ZZ-module, free i3 :