Iwasawa's main conjecture for Rankin--Selberg motives in the anticyclotomic case | Synapse