“…By [
27], there is a ribbon concordance
from
to
. There is an induced map
which can be shown to be injective [
8, 19] ultimately based on an argument of Zemke for knot Floer homology [
44]. By the proof of [
40, Proposition 5.7], there are injective maps
and
(displayed below as dotted) making the diagram
commute.…”