^ That's it.
Higher quality and more robust to use the files locally recorded on the separate transmitters and combine them afterward than recording the wireless transmission to the receiver.
As you are aware, we can align two separate recordings in post and stretch/shrink the length of one to match the other if necessary, as tapers have done for decades using separate recorders. If drift is minimal, alignment alone may be is all that's needed, which is less work. But longer recordings will tend to drift more by the end and require stretching of one source to match the other. Generally two identical recorders of the same model have a better chance of the clocks remaining in close sync, depending on the precision of the clock chip used.
^
We can run two of these that way of course, but ideally want to avoid having to do that extra work.
Most of these small recorders are primarily intended for lavalier recording work in support of video, so are designed to support the use of multiple units in close enough sync to match video frame rates. To do that they all support TimeCode in some way or another, which also help us sync audio.
That usually can be done in a rudimentary way on lavalier systems such as these without extra gear by syncing the two clocks via their control app prior to recording, after which they run freely and will start to drift after being sync'd.
Less simply the clocks can maintain more active corrective sync with each other while recording, which in this case probably requires using the receiver. In some cases is requires a separate timecode generator, but the Mic Pro receiver may be doing that.
Getting into the weeds-
Actual precision required to sync video is much looser than the degree of synchronization required for perfect audio - 30 frames per second compared to 48,000 samples per second (a difference of 3 orders of magnitude). That's the primary difference in resolution between TimeCode (for video) and WordClock (for audio). The question becomes, do we really need that degree of perfect sample-rate sync? Depends on what we are doing with it. Lip sync to video only requires relatively loose sync. Sync between two separate non-correlated audio sources (say AUD mics + SBD) needs to remain somewhat tighter than that. Sync between the two channels of a stereo pair needs to be much tighter because the two channels are phase-correlated. In a stereo pair, sync between a pair of spaced mics can probably be a bit looser than between a coincident pair, because with a spaced pair some of the content is decorrelated with a randomized phase between channels) while in a coincident pair the phase-correlation is tight, with no phase difference between the two channels (or rather if there is a phase difference it remains constant).