Mathlib v3 is deprecated. Go to Mathlib v4

Theorem exists_eq_right_right'

Modification history

2021-01-13 21:36
src/data/buffer/parser/basic.lean
feat(logic/basic): exists_eq simp lemmas without and.comm (#5694)
Modified exists_eq_right_right'View on Github →
2021-01-12 19:31
src/data/buffer/parser/basic.lean
feat(data/buffer/parser/basic): lemmas describing parsers (#5460)
Added exists_eq_right_right'View on Github →