Commit 2023-01-13 00:18 90f9001a

View on Github →

Feat: rename List.count_replicate, add a new version (#1475) This is a forward-port of leanprover-community/mathlib#18125

Estimated changes

modified theorem List.count_repeat
added theorem List.count_repeat_self
modified theorem List.count_replicate