feat: Sym2-as-Finset theory #718
kmilladd_label_from_diff.yaml
on: pull_request
Add topic label
1m 2s
Annotations
2 notices
|
Add topic label
Applicable labels: #[t-data]
|
|
Add topic label
added label: t-data
|