chore: simplify the formatting of gcd_eq_zero_iffs a little (#28898) Related to #28897.
gcd_eq_zero_iff