Page history
2 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−4
23 May 2024
8 May 2024
24 July 2023
1 August 2022
6 July 2022
18 August 2021
16 August 2021
Text replacement - "([^\s])([\s]{1,7})\<P\>" to "$1 <P>"
m+7
Text replacement - "([^\s])([\s]{1,7})\<P\>" to "$1 <P>"
m+22
17 June 2021
8 March 2021
4 March 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
Remove links to pages that are actually redirects to this page.
m+25
Remove links to pages that are actually redirects to this page.
m+25
Remove links to pages that are actually redirects to this page.
m+75
15 January 2019
14 October 2018
10 October 2018
18 August 2018
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
Text replacement - "—" to " — "
m+2
Text replacement - "—" to " — "
m+2
Text replacement - "—" to " — "
m+2
17 August 2018
8 June 2018
21 March 2018
12 March 2018
Text replacement - ". <P>" to ". <P> "
m+13
Text replacement - ". <P>" to ". <P> "
m+7
Text replacement - ". <P>" to ". <P> "
m+14
Text replacement - ". <P>" to ". <P> "
m+15