Page history
2 June 2024
1 June 2024
31 May 2024
Text replacement - " [[" to " [["
m−2
Text replacement - " [[" to " [["
m−2
Text replacement - " [[" to " [["
m−2
Text replacement - " [[" to " [["
m−2
Text replacement - " [[" to " [["
m−2
23 May 2024
2 August 2022
6 July 2022
16 August 2021
28 June 2021
1 March 2021
22 February 2021
Text replacement - "]]. * <B>Counter-Example" to "]]. ** ... * <B>Counter-Example"
m+7
Text replacement - "]]. * <B>Example" to "]]. ** ... * <B>Example"
m+7
23 December 2019
15 January 2019
21 December 2018
Text replacement - "(2000)." to "(2000)."
m+4
Text replacement - "(2002)." to "(2002)."
m+9
Text replacement - "(2004)." to "(2004)."
m−1
ContinuousReplacement
+5
10 October 2018
24 August 2018
2 August 2018
31 July 2018
8 June 2018
12 March 2018
Text replacement - ". <P>" to ". <P> "
m+26
Text replacement - ". <P>" to ". <P> "
m+14
Text replacement - ". <P>" to ". <P> "
m+15
4 December 2017
Text replacement - "4===" to "4 ==="
m+1
Text replacement - "3===" to "3 ==="
m+1
Text replacement - "2===" to "2 ==="
m+2
4 November 2017
3 November 2017
2 November 2017
8 October 2016
14 September 2016
10 February 2016
29 December 2015
26 December 2015
Text replacement - "''', " to "</B>, "
m+2
Text replacement - "n''' " to "n</B> "
m+3
Text replacement - "y''' " to "y</B> "
m+2
Text replacement - "m''' " to "m</B> "
m+5