202002280123
github-actions
released this
28 Feb 01:24
·
230 commits
to master
since this release
Add two theorems about transitivity of Append/Tail and IsInjective.