Learn more about cloning repositories
You have read-only access
Merge pull request #3683 from stephentyrone/totally-ordered-label Bugfix: argument label of isTotallyOrdered.
