Label PR based on Comment

RFC: add simp lemmas for quantification over `Fin 0` #17573

Sign in to view logs

Summary
Jobs
- update-label
Run details
- Usage
- Workflow file

Triggered via issue September 30, 2025 22:32

fgdorais

commented on #10629 d88e417

Status Skipped

Total duration 1s

Artifacts –

labels-from-comments.yml

on: issue_comment