chore: make map_ofNat a simp lemma #2824
eric-wieseradd_label_from_diff.yaml
on: pull_request
Add topic label
41s
Annotations
2 notices
|
Add topic label
Applicable labels: #[t-data]
|
|
Add topic label
Did not add label 't-data', since [t-algebra] were already present
|