Skip to content
Snippets Groups Projects
Commit 3476f4ae authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Add `Permutation_submseteq_length` to replace `Permutation_alt`,... 

Add `Permutation_submseteq_length` to replace `Permutation_alt`, `submseteq_Permutation_length_le` and `submseteq_Permutation_length_eq`.
parent 0a0aa08b
Branches
Tags
1 merge request!455Various tweaks to lists, maps, sets
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment