An instance of the stable marriage problem has a unique stable matching if and only if the version of the Gale-Shapely algorithm where the male proposes and the version where the female proposes both yield the exact same matching.
The statement by Gale-Shapely algorithm is true where the male proposes and the version where female proposes both are correct meaning that altogether it is true. This is applicable when both yield the exact same match.
