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 fromData.Finset.NAry
while synchronizing the files. - Golf some proofs.
chore(Set/NAry): fix docstring, golf (#9059)
Data.Set.NAry
.
It looks like it was copied from Data.Finset.NAry
while synchronizing the files.