Theorem List.eq_map_comp_perm

Modification history

2025-02-26 01:29
Mathlib/Data/List/Perm/Basic.lean
feat(List/Perm): add lemmas (#22288) …
Added List.eq_map_comp_permView on Github →