Commit 2025-02-12 22:31 3b1a275d
View on Github →feat(List/Count): add countP_lt_length_iff
(#21774)
... and count_lt_length_iff
.
Also use variable
s for implicit arguments.
feat(List/Count): add countP_lt_length_iff
(#21774)
... and count_lt_length_iff
.
Also use variable
s for implicit arguments.