mathlib3
47adfab3 - chore(*): sync `list.replicate` with Mathlib 4 (#18181)

Commit

3 years ago

chore(*): sync `list.replicate` with Mathlib 4 (#18181) Sync arguments order and golfs with leanprover-community/mathlib4#1579

Author

urkud

Parents