refactor: migrate to dependent induction lemmas #659
j-loreauxadd_label_from_diff.yaml
on: pull_request
Add topic label
1m 4s
Annotations
2 notices
|
Add topic label
Applicable labels: #[t-algebra]
|
|
Add topic label
added label: t-algebra
|