Merge branch 'master' into FR_clean_setoid_r #710
add_label_from_diff.yaml
on: push
Add topic label
1m 4s
Annotations
2 notices
Add topic label
Applicable labels: #[t-algebra, t-computability, t-data, t-logic, t-number-theory, t-topology]
|
Add topic label
not adding multiple labels: #[t-algebra, t-computability, t-data, t-logic, t-number-theory, t-topology]
|