Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.perm_repeat_append_repeat

Modification history

2023-01-15 06:15

src/data/list/perm.lean

refactor(*): define `list.replicate` and migrate to it (#18127) …

Deleted list.perm_repeat_append_repeat View on Github →

2023-01-14 17:40

src/data/list/perm.lean

chore(archive/100-theorems-list/30_ballot_problem): golf (#18126) …

Added list.perm_repeat_append_repeat View on Github →