[Merged by Bors] - feat(Data/List): add theorem length_eq_two'
#35775
The logs for this run have expired and are no longer available.
Loading
length_eq_two'
#35775