Mathlib v3 is deprecated. Go to Mathlib v4

Theorem array.read_push_back_left

Modification history

2021-02-23 14:09
src/data/array/lemmas.lean
feat(data/buffer/basic): read and to_buffer lemmas (#6048)
Added array.read_push_back_leftView on Github →