Theorem List.formPerm_append_pair

Modification history

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