Gorenstein flat-cotorsion modules over trivial ring extensions | Synapse