-
Notifications
You must be signed in to change notification settings - Fork 13
Pull requests: lean-ja/lean-by-example
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Document when
fun_induction arguments can be omitted
#2296
opened May 13, 2026 by
Copilot
AI
Loading…
ProTip!
Adding no:label will show everything without a label.