refactor: replace Iter(M).size with Iter(M).count
#14302
Triggered via pull request
October 25, 2025 09:58
leanprover-community-bot
leanprover-community-bot
labeled
#10952
Status
Skipped
Total duration
–
Artifacts
–