Skip to content

Apply suggestion

de88c7e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

[Merged by Bors] - feat(Data/List): add theorem length_eq_two' #35775

Apply suggestion
de88c7e
Select commit
Loading
Failed to load commit list.