Search results
From LLWiki
Page title matches
- {{Environment|name=Proposition|content={{{1}}}}} | {{Environment|name=Proposition|title={{{title}}}|content={{{1}}}}}174 B (14 words) - 16:05, 28 December 2008
Page text matches
- ...inition|Definition]], [[Template:Theorem|Theorem]], [[Template:Proposition|Proposition]], [[Template:Lemma|Lemma]], [[Template:Corollary|Corollary]] (with an opti3 KB (456 words) - 14:06, 8 December 2009
- {{Environment|name=Proposition|content={{{1}}}}} | {{Environment|name=Proposition|title={{{title}}}|content={{{1}}}}}174 B (14 words) - 16:05, 28 December 2008
- {{Proposition|title=From <math>ILL</math> to <math>JLL</math>|9 KB (1,520 words) - 08:31, 13 March 2017
- {{Proposition|title=<math>\eta</math>-expansion| {{Proposition|30 KB (4,776 words) - 14:46, 28 October 2013
- {{Proposition|title=Positive connectives|5 KB (860 words) - 17:49, 28 October 2013
- J'ai un moteur basé sur ma proposition précédente. Pour le moment j'ai du code caml pour écrire et réduire des14 KB (2,082 words) - 13:46, 17 January 2011
- {{Proposition| {{Proposition|14 KB (2,448 words) - 11:03, 15 May 2010
- {{Proposition|For any sets <math>\alpha, \alpha'\subseteq A</math>:1 KB (213 words) - 14:10, 30 September 2011
- {{Proposition|title=Negative connectives|2 KB (348 words) - 17:50, 28 October 2013
- {{Proposition|title=Regular connectives|2 KB (279 words) - 21:01, 28 October 2013