Commit 2023-12-17 21:55 079c7b46

View on Github →

chore(Set/NAry): fix docstring, golf (#9059)

  • Fix the module docstring of Data.Set.NAry. It looks like it was copied from Data.Finset.NAry while synchronizing the files.
  • Golf some proofs.

Estimated changes