Theorem List.cons_subperm_of_mem
Modification history
2025-08-05 07:35
Mathlib/Data/List/Perm/Subperm.lean
chore: further >6month old deprecations (#27799)
Deleted List.cons_subperm_of_memView on Github →2024-12-12 08:11
Mathlib/Data/List/Perm/Subperm.lean
chore: deprecate upstreamed theorem List.cons_subperm_of_mem (#19904) …
Modified List.cons_subperm_of_memView on Github →