Commit 2021-12-17 12:31 8743573e
View on Github →feat(data/nat/count): The count function on naturals (#9457)
Defines nat.count a generic counting function on ℕ, computing how many numbers under k satisfy a given predicate".
Co-authored by:
Yaël Dillies, yael.dillies@gmail.com
Vladimir Goryachev, gor050299@gmail.com
Kyle Miller, kmill31415@gmail.com
Scott Morrison, scott@tqft.net
Eric Rodriguez, ericrboidi@gmail.com