Are there collections for the original end runs of Batman and Detective?

[Jely4me]

The final issue of the original Batman run (#713) was never collected

Batman: Eye of the Beholder Batman #704–707, 710–712

https://www.dc.com/comics/batman-713

A15a0Izig6L._AC_UL600_SR600,600_.jpg

I bought one on the cheap.