Skip to content

Added `bigcat` over sequences

Ghost User requested to merge (removed):bigcat into master

Previously, we only had bigcat over over ranges. I added

  • a new notation for concatenating over a sequence
  • A bunch of useful lemmas that I needed for CERTA.

The code still needs to be properly commented, I will do that soon.

Edited by Ghost User

Merge request reports