Commit 2024-04-07 03:57 869214f5

View on Github →

chore(Data/List/Join): better notation (#11724) Summary of changes (all changes are cosmetic):

  • use L for a 2D lists instead of l consistently
  • use dot notation more
  • use anonymous function argument

Estimated changes

modified theorem List.sublist_join