Return-path: Envelope-to: jbovlaste-admin@lojban.org Delivery-date: Tue, 31 May 2022 20:16:01 -0700 Received: from [192.168.123.254] (port=59950 helo=jiten.lojban.org) by d05c5d92ccf2 with smtp (Exim 4.94.2) (envelope-from ) id 1nwEpz-001YxS-4V for jbovlaste-admin@lojban.org; Tue, 31 May 2022 20:16:01 -0700 Received: by jiten.lojban.org (sSMTP sendmail emulation); Wed, 01 Jun 2022 03:15:59 +0000 From: "Apache" To: varikvalefor@rape.lol Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word lojysra -- By varikvalefor Date: Wed, 1 Jun 2022 03:15:59 +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$ noi se cusku cu 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 --- > $x_1$ poi se cusku cu 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$ noi se cusku cu 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: New Data: Definition: $x_1$ poi se cusku cu 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.