Design #1151
Updated by John Abbott over 6 years ago
CoCoA-5 has both *@ConcatList@* *@ConctList@* and *@ConcatLists@*. They are identical.
We should keep just one.
We should keep just one.
Updated by John Abbott over 6 years ago