Skip to content
GitLab
Explore
Sign in
Jan
stdpp
Repository
stdpp
theories
list.v
Find file
Blame
History
Permalink
Name instances for `Permutation` and add new instance `cons_Permutation_inj_l`.
· 0bb21a4f
Robbert Krebbers
authored
Jun 01, 2021
Naming scheme: `operation_Permutation_{Proper,inj,inj_l,inj_r}`.
0bb21a4f