In the leaked document, the the LG D725 happens to be the AT&T variant of the device, which means we could be looking at the LG G3 mini making its way to AT&T in due time. Some of the hardware specifications that were mentioned in the document would include a 720p display of unknown resolution, Android 4.4.2 KitKat as the operating system of choice, an 8-megapixel shooter located at the back.
Of course, do take this particular rumor with a pinch of salt since it is not that difficult to forge documents, although it would not be surprising to see the LG G3 mini materialize considering how major smartphone manufacturers are moving in the mini direction for their flagship models.