Commit 2023-02-11 10:33 64e6ed13

View on Github →

feat: add List.chain'_join (#2192)

Estimated changes

added theorem List.chain'_join