continuous_iff_coinduced_le source