Description: The class of walks is a set. (Contributed by AV, 15-Jan-2021) (Proof shortened by SN, 11-Dec-2024)