Commit 2021-05-12 18:20 79ee5f91

View on Github →

fix(Data/Array/Basic): fix build

Estimated changes

modified theorem List.drop_eq_nil_of_le