Theorem List.mem_or_mem_of_zipWith_swap_prod_ne

Modification history

2024-04-24 14:51
Mathlib/GroupTheory/Perm/List.lean
chore(Perm/List): golf, review API (#12302) …
Added List.mem_or_mem_of_zipWith_swap_prod_neView on Github →