Skip to content
Snippets Groups Projects

Move `delete` lemmas out of `Permutation` section.

Passed
Robbert Krebbers created pipeline for commit ad7129fd
, finished
For master
5 jobs 14 minutes 45 seconds, queued for 4 seconds