Return-path: Envelope-to: jbovlaste-admin@lojban.org Delivery-date: Tue, 31 May 2022 12:33:03 -0700 Received: from [192.168.123.254] (port=59938 helo=web.lojban.org) by d05c5d92ccf2 with smtp (Exim 4.94.2) (envelope-from ) id 1nw7bw-001Xl4-Sn for jbovlaste-admin@lojban.org; Tue, 31 May 2022 12:33:03 -0700 Received: by web.lojban.org (sSMTP sendmail emulation); Tue, 31 May 2022 19:33:00 +0000 From: "Apache" To: varikvalefor@rape.lol Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word lojysra -- By varikvalefor Date: Tue, 31 May 2022 19:33:00 +0000 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Message-Id: X-Spam-Score: -2.9 (--) X-Spam_score: -2.9 X-Spam_score_int: -28 X-Spam_bar: -- In jbovlaste, the user varikvalefor has edited a definition of "lojysra" in the language "lojban". Differences: 2,2c2,2 < $x_1$ mulno logji bo ciksi le du'u $x_2$ noi me'oi .theorem. cu jetnu kei gi'e se sarji pe'a $x_3$ poi logji ja kampu bo selju'o klesi --- > $x_1$ mulno logji bo ciksi le du'u $x_2$ poi me'oi .theorem. cu jetnu kei gi'e se sarji pe'a $x_3$ poi logji ja kampu bo selju'o klesi Old Data: Definition: $x_1$ mulno logji bo ciksi le du'u $x_2$ noi me'oi .theorem. cu jetnu kei gi'e se sarji pe'a $x_3$ poi logji ja kampu bo selju'o klesi Notes: Jargon: logji Gloss Keywords: Word: proof, In Sense: Place Keywords: New Data: Definition: $x_1$ mulno logji bo ciksi le du'u $x_2$ poi me'oi .theorem. cu jetnu kei gi'e se sarji pe'a $x_3$ poi logji ja kampu bo selju'o klesi Notes: Jargon: logji Gloss Keywords: Word: proof, In Sense: Place Keywords: You can go to to see it.