[Merged by Bors] - chore(Data/Finset): golf entire diag_union_offDiag, erase_right_comm, univ_filter_mem_range and powersetCard_map using grind
#42485
Triggered via issue
September 4, 2025 22:16
leanprover-bot
Status
Success
Total duration
39s
Artifacts
–
bench_summary_comment.yml
on: issue_comment
Post summary of benchmarking results
35s