mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(data/list/basic): add filter/remove_all length properties

Open rgreenblatt opened this issue 3 years ago • 1 comments

Not sure if these are the right names for these theorem. Also, maybe these proofs could be cleaned up?

Open in Gitpod

rgreenblatt avatar Nov 21 '21 17:11 rgreenblatt

A note for other reviewers: CI is not running correctly here because this is running from a fork. Can someone else advise @rgreenblatt on what to do next?

eric-wieser avatar Nov 30 '21 23:11 eric-wieser