Explicitly spell out lemma statement of some `Permutation` lemmas that we borrow from stdlib.
Passed
Robbert Krebbers
created pipeline for commit
d4dcb60b
, finished
For master
13 minutes 41 seconds, queued for 2 seconds