Skip to content
Back to pull request #18564

rename push lemmas for List.length to match convention #8860

Sign in to view logs

rename push lemmas for List.length to match convention

rename push lemmas for List.length to match convention #8860

The logs for this run have expired and are no longer available.