HomeIsabelle/Phabricator

collected lemmas on permutations