Page history
Jump to navigation
Jump to search
30 December 2023
10 September 2022
Text replacement - "<source" to "<syntaxhighlight"
m+333
Text replacement - "</source>" to "</syntaxhighlight>"
m+333
26 September 2021
7 October 2020
9 June 2020
30 April 2020
28 January 2020
→Definitions: Partitions can't be empty
m+14
→Target indices: Lists of target indices are in bijection with partitions, not divisions
m+1
27 January 2020
half a dozen "partition" → "division" changes according to definition above although that on line 69 may be contentious
m−6
no edit summary
m+4