Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-07-12 14:22
66cc624c
View on Github →
feat(data/list/basic): more lemmas about permutations_aux2 (
#8198
)
Estimated changes
Modified
src/data/list/basic.lean
added
theorem
list.map_map_permutations_aux2
modified
theorem
list.map_permutations_aux2
added
theorem
list.permutations_aux2_comp_append
added
theorem
list.permutations_aux2_snd_eq