rename push lemmas for List.length
to match convention
#18564
Merged
List.length
to match convention
#18564