<?xml version="1.0"?>
<?xml-stylesheet type="text/css" href="http://140-77-166-78.cprapid.com/mediawiki/skins/common/feed.css?303"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
		<id>http://140-77-166-78.cprapid.com/mediawiki/index.php?action=history&amp;feed=atom&amp;title=Template%3AProof</id>
		<title>Template:Proof - Revision history</title>
		<link rel="self" type="application/atom+xml" href="http://140-77-166-78.cprapid.com/mediawiki/index.php?action=history&amp;feed=atom&amp;title=Template%3AProof"/>
		<link rel="alternate" type="text/html" href="http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Template:Proof&amp;action=history"/>
		<updated>2026-04-12T09:22:10Z</updated>
		<subtitle>Revision history for this page on the wiki</subtitle>
		<generator>MediaWiki 1.19.20+dfsg-0+deb7u3</generator>

	<entry>
		<id>http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Template:Proof&amp;diff=334&amp;oldid=prev</id>
		<title>Samuel Mimram at 13:03, 24 March 2009</title>
		<link rel="alternate" type="text/html" href="http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Template:Proof&amp;diff=334&amp;oldid=prev"/>
				<updated>2009-03-24T13:03:50Z</updated>
		
		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
			&lt;tr valign='top'&gt;
			&lt;td colspan='2' style=&quot;background-color: white; color:black;&quot;&gt;← Older revision&lt;/td&gt;
			&lt;td colspan='2' style=&quot;background-color: white; color:black;&quot;&gt;Revision as of 13:03, 24 March 2009&lt;/td&gt;
			&lt;/tr&gt;&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;−&lt;/td&gt;
  &lt;td style=&quot;background: #ffa; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;&amp;lt;div style=&quot;margin-left: 0em; border-left: &lt;span class=&quot;diffchange diffchange-inline&quot;&gt;double&lt;/span&gt; &lt;span class=&quot;diffchange diffchange-inline&quot;&gt;4px&lt;/span&gt; #ccc; padding-left: .5em&quot;&amp;gt;&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;+&lt;/td&gt;
  &lt;td style=&quot;background: #cfc; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;&amp;lt;div style=&quot;margin-left: 0em; border-left: &lt;span class=&quot;diffchange diffchange-inline&quot;&gt;dotted&lt;/span&gt; &lt;span class=&quot;diffchange diffchange-inline&quot;&gt;1px&lt;/span&gt; #ccc; padding-left: .5em&quot;&amp;gt;&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&amp;#160;&lt;/td&gt;
  &lt;td style=&quot;background: #eee; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;&amp;lt;em&amp;gt;Proof.&amp;lt;/em&amp;gt;&amp;amp;emsp;{{{1}}}&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&amp;#160;&lt;/td&gt;
  &lt;td style=&quot;background: #eee; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;&amp;lt;em&amp;gt;Proof.&amp;lt;/em&amp;gt;&amp;amp;emsp;{{{1}}}&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&amp;#160;&lt;/td&gt;
  &lt;td style=&quot;background: #eee; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;&amp;lt;/div&amp;gt;&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&amp;#160;&lt;/td&gt;
  &lt;td style=&quot;background: #eee; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;&amp;lt;/div&amp;gt;&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Samuel Mimram</name></author>	</entry>

	<entry>
		<id>http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Template:Proof&amp;diff=333&amp;oldid=prev</id>
		<title>Samuel Mimram: More coherent proof style</title>
		<link rel="alternate" type="text/html" href="http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Template:Proof&amp;diff=333&amp;oldid=prev"/>
				<updated>2009-03-24T09:39:13Z</updated>
		
		<summary type="html">&lt;p&gt;More coherent proof style&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
			&lt;tr valign='top'&gt;
			&lt;td colspan='2' style=&quot;background-color: white; color:black;&quot;&gt;← Older revision&lt;/td&gt;
			&lt;td colspan='2' style=&quot;background-color: white; color:black;&quot;&gt;Revision as of 09:39, 24 March 2009&lt;/td&gt;
			&lt;/tr&gt;&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;−&lt;/td&gt;
  &lt;td style=&quot;background: #ffa; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;&amp;lt;div style=&quot;margin-left: &lt;span class=&quot;diffchange diffchange-inline&quot;&gt;1.5em&lt;/span&gt;; border-left: double 4px #ccc; padding-left: .5em&quot;&amp;gt;&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;+&lt;/td&gt;
  &lt;td style=&quot;background: #cfc; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;&amp;lt;div style=&quot;margin-left: &lt;span class=&quot;diffchange diffchange-inline&quot;&gt;0em&lt;/span&gt;; border-left: double 4px #ccc; padding-left: .5em&quot;&amp;gt;&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&amp;#160;&lt;/td&gt;
  &lt;td style=&quot;background: #eee; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;&amp;lt;em&amp;gt;Proof.&amp;lt;/em&amp;gt;&amp;amp;emsp;{{{1}}}&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&amp;#160;&lt;/td&gt;
  &lt;td style=&quot;background: #eee; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;&amp;lt;em&amp;gt;Proof.&amp;lt;/em&amp;gt;&amp;amp;emsp;{{{1}}}&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&amp;#160;&lt;/td&gt;
  &lt;td style=&quot;background: #eee; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;&amp;lt;/div&amp;gt;&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&amp;#160;&lt;/td&gt;
  &lt;td style=&quot;background: #eee; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;&amp;lt;/div&amp;gt;&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Samuel Mimram</name></author>	</entry>

	<entry>
		<id>http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Template:Proof&amp;diff=206&amp;oldid=prev</id>
		<title>Emmanuel Beffara at 15:46, 10 March 2009</title>
		<link rel="alternate" type="text/html" href="http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Template:Proof&amp;diff=206&amp;oldid=prev"/>
				<updated>2009-03-10T15:46:02Z</updated>
		
		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
			&lt;tr valign='top'&gt;
			&lt;td colspan='2' style=&quot;background-color: white; color:black;&quot;&gt;← Older revision&lt;/td&gt;
			&lt;td colspan='2' style=&quot;background-color: white; color:black;&quot;&gt;Revision as of 15:46, 10 March 2009&lt;/td&gt;
			&lt;/tr&gt;&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;−&lt;/td&gt;
  &lt;td style=&quot;background: #ffa; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;&amp;lt;div style=&quot;margin-left: 1.5em; border-left: double 4px #ccc; padding-left: .5em&quot;&lt;span class=&quot;diffchange diffchange-inline&quot;&gt;&amp;gt;&amp;lt;em&amp;gt;Proof.&amp;lt;/em&amp;gt;&amp;amp;emsp;{{{1}}}&amp;lt;/div&lt;/span&gt;&amp;gt;&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;+&lt;/td&gt;
  &lt;td style=&quot;background: #cfc; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;&amp;lt;div style=&quot;margin-left: 1.5em; border-left: double 4px #ccc; padding-left: .5em&quot;&amp;gt;&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty&quot;&gt;&amp;#160;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;+&lt;/td&gt;
  &lt;td style=&quot;background: #cfc; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;&amp;lt;em&amp;gt;Proof.&amp;lt;/em&amp;gt;&amp;amp;emsp;{{{1}}}&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty&quot;&gt;&amp;#160;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;+&lt;/td&gt;
  &lt;td style=&quot;background: #cfc; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;&amp;lt;/div&amp;gt;&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Emmanuel Beffara</name></author>	</entry>

	<entry>
		<id>http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Template:Proof&amp;diff=205&amp;oldid=prev</id>
		<title>Emmanuel Beffara: Trying some visual formatting</title>
		<link rel="alternate" type="text/html" href="http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Template:Proof&amp;diff=205&amp;oldid=prev"/>
				<updated>2009-03-10T15:42:44Z</updated>
		
		<summary type="html">&lt;p&gt;Trying some visual formatting&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
			&lt;tr valign='top'&gt;
			&lt;td colspan='2' style=&quot;background-color: white; color:black;&quot;&gt;← Older revision&lt;/td&gt;
			&lt;td colspan='2' style=&quot;background-color: white; color:black;&quot;&gt;Revision as of 15:42, 10 March 2009&lt;/td&gt;
			&lt;/tr&gt;&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;−&lt;/td&gt;
  &lt;td style=&quot;background: #ffa; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;&lt;span class=&quot;diffchange diffchange-inline&quot;&gt;''Proof:''&lt;/span&gt;&amp;lt;&lt;span class=&quot;diffchange diffchange-inline&quot;&gt;br&lt;/span&gt; /&amp;gt;&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;+&lt;/td&gt;
  &lt;td style=&quot;background: #cfc; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;&amp;lt;&lt;span class=&quot;diffchange diffchange-inline&quot;&gt;div&lt;/span&gt; &lt;span class=&quot;diffchange diffchange-inline&quot;&gt;style=&quot;margin-left: 1.5em; border-left: double 4px #ccc; padding-left: .5em&quot;&amp;gt;&amp;lt;em&amp;gt;Proof.&amp;lt;/em&amp;gt;&amp;amp;emsp;{{{1}}}&amp;lt;&lt;/span&gt;/&lt;span class=&quot;diffchange diffchange-inline&quot;&gt;div&lt;/span&gt;&amp;gt;&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;−&lt;/td&gt;
  &lt;td style=&quot;background: #ffa; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;{{{1}}}&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty&quot;&gt;&amp;#160;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;−&lt;/td&gt;
  &lt;td style=&quot;background: #ffa; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;&amp;lt;math&amp;gt;\square&amp;lt;/math&amp;gt;&lt;/div&gt;&lt;/td&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty&quot;&gt;&amp;#160;&lt;/td&gt;
&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Emmanuel Beffara</name></author>	</entry>

	<entry>
		<id>http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Template:Proof&amp;diff=21&amp;oldid=prev</id>
		<title>Olivier Laurent: content inside</title>
		<link rel="alternate" type="text/html" href="http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Template:Proof&amp;diff=21&amp;oldid=prev"/>
				<updated>2008-12-19T09:26:22Z</updated>
		
		<summary type="html">&lt;p&gt;content inside&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
			&lt;tr valign='top'&gt;
			&lt;td colspan='2' style=&quot;background-color: white; color:black;&quot;&gt;← Older revision&lt;/td&gt;
			&lt;td colspan='2' style=&quot;background-color: white; color:black;&quot;&gt;Revision as of 09:26, 19 December 2008&lt;/td&gt;
			&lt;/tr&gt;&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&amp;#160;&lt;/td&gt;
  &lt;td style=&quot;background: #eee; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;''Proof:''&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;&amp;#160;&lt;/td&gt;
  &lt;td style=&quot;background: #eee; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;''Proof:''&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty&quot;&gt;&amp;#160;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;+&lt;/td&gt;
  &lt;td style=&quot;background: #cfc; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;{{{1}}}&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
  &lt;td colspan=&quot;2&quot; class=&quot;diff-empty&quot;&gt;&amp;#160;&lt;/td&gt;
  &lt;td class=&quot;diff-marker&quot;&gt;+&lt;/td&gt;
  &lt;td style=&quot;background: #cfc; color:black; font-size: smaller;&quot;&gt;&lt;div&gt;&amp;lt;math&amp;gt;\square&amp;lt;/math&amp;gt;&lt;/div&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Olivier Laurent</name></author>	</entry>

	<entry>
		<id>http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Template:Proof&amp;diff=13&amp;oldid=prev</id>
		<title>Olivier Laurent: New page: ''Proof:''&lt;br /&gt;</title>
		<link rel="alternate" type="text/html" href="http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Template:Proof&amp;diff=13&amp;oldid=prev"/>
				<updated>2008-12-19T09:02:34Z</updated>
		
		<summary type="html">&lt;p&gt;New page: &amp;#039;&amp;#039;Proof:&amp;#039;&amp;#039;&amp;lt;br /&amp;gt;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;''Proof:''&amp;lt;br /&amp;gt;&lt;/div&gt;</summary>
		<author><name>Olivier Laurent</name></author>	</entry>

	</feed>