Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我必须通过 xs 上的列表归纳表明:所有列表 xs 和 ys 的反向 (xs ++ ys) = (reverse ys) ++ (reverse xs)。