Commit 2019-09-04 20:52 3c224f0c
View on Github →feat (logic/basic): exists_eq' (#1397)
Not a great name, but exists_eq_left
and exists_eq_right
are taken, and it's unlikely to be used except in simp
feat (logic/basic): exists_eq' (#1397)
Not a great name, but exists_eq_left
and exists_eq_right
are taken, and it's unlikely to be used except in simp