Sophie
-- -*- M2-comint -*- {* hash: 752946723 *} i1 : typicalValues#isRing o1 = Boolean o1 : Type i2 :