Skip to content
lint and suggest

chore: make map_ofNat a simp lemma #69306

Sign in to view logs

chore: make map_ofNat a simp lemma

chore: make map_ofNat a simp lemma #69306

Triggered via pull request November 22, 2024 23:59
@eric-wiesereric-wieser
opened #19388
eric-wieser/map_ofNat
Status Success
Total duration 1m 40s
Artifacts –

lint_and_suggest_pr.yml

on: pull_request
Lint style
1m 14s
Lint style
Check all files imported
40s
Check all files imported
Fit to window
Zoom out
Zoom in