Merge branch 'master' into FR_quotient_mk''_abbrev #720
FR-vdash-botadd_label_from_diff.yaml
on: push
Add topic label
1m 3s
Annotations
2 notices
|
Add topic label
Applicable labels: #[t-algebra, t-algebraic-geometry, t-data, t-logic]
|
|
Add topic label
not adding multiple labels: #[t-algebra, t-algebraic-geometry, t-data, t-logic]
|