202002271947
·
261 commits
to master
since this release
Add two theorems about transitivity of Append/Tail and IsInjective.
Add two theorems about transitivity of Append/Tail and IsInjective.