Skip to content

feat: List.fold / attach lemmas#5392

Merged
kim-em merged 1 commit intomasterfrom fold_attachSep 19, 2024

Commits

Commits on Sep 19, 2024