Theorem List.perm_option_toList

Modification history

2024-10-16 03:49

Mathlib/Data/List/Perm.lean

chore: move List.permutations material out of List.Perm (#17795) …

Added List.perm_option_toList View on Github →