Page history
Jump to navigation
Jump to search
1 June 2024
23 May 2024
8 May 2024
13 January 2022
9 January 2022
Text replacement - "<ref name="[\w]{1,30}"><\/ref> " to " "
m−64
Text replacement - "<ref name="[\w]{1,50}" \/>" to " "
m−87
17 August 2021
16 August 2021
8 March 2021
2 March 2021
26 February 2021
22 February 2021
Text replacement - ". * ... * <B>Counter" to ". ** ... * <B>Counter"
m+1
Text replacement - "]]. * <B>Counter-Example" to "]]. * ... * <B>Counter-Example"
m+6
Text replacement - "]]. * <B>Example" to "]]. ** ... * <B>Example"
m+7
5 January 2021
17 December 2020
15 December 2020
Text replacement - "---- ---- ==" to "---- ---- =="
m−1
Text replacement - "]]. ----" to "]]. ----"
m+1
23 December 2019
Remove links to pages that are actually redirects to this page.
m+20
Remove links to pages that are actually redirects to this page.
m+54
15 January 2019
12 October 2018
10 October 2018
24 August 2018
21 August 2018
16 August 2018
Text replacement - "[[author::K" to "[[K"
m−8
Text replacement - "[[author::F" to "[[F"
m−8
Text replacement - "[[author::T" to "[[T"
m−24
Text replacement - "[[author::A" to "[[A"
m−24