Closed fchapoton closed 2 years ago
mostly trivial, except at one place using any() and all()
suggested change done, also in another line in the same file
ping ?
mostly trivial, except at one place using any() and all()