关于std::iter_value_t的C++标准与cppreference定义差异的疑问

我对此的理解用伪代码表示：

type iter_value<T>:  // 注：非C++代码，仅用于澄清问题
   type R = remove_cvref_t<T>;
   if (iterator_traits<R>是iterator_traits的主模板特化)
       return indirectly_readable_traits<R>::value_type;
   else
       return iterator_traits<R>::value_type;

cppreference中的描述及对应伪代码 #

计算T的value type。若std::iterator_traits<std::remove_cvref_t>未被特化，则std::iter_value_t为std::indirectly_readable_traits<std::remove_cvref_t>::value_type；否则为std::iterator_traits<std::remove_cvref_t>::value_type。

对应的伪代码为：

type iter_value<T>:
    type R = remove_cvref_t<T>;
    if (iterator_traits<R>是iterator_traits的特化)
         return iterator_traits<R>::value_type;
    else 
        return indirectly_readable_traits<R>::value_type;

我发现上述两种关于std::iter_value_t的定义逻辑似乎存在差异，想确认哪一种是正确的（我猜测是cppreference的版本）。由于我非英语母语，可能是对C++草案的语义理解有误，恳请帮忙澄清。

内容的提问来源于stack exchange，提问作者Antonio