この資料をSMS送信: An existential ∅-definition of Fq[[t]]Fq[[t]] IN Fq(t)