Skip to content
Label PR based on Comment

chore: 'lemma' command elaborates as 'theorem' but gives warning + codeaction to use 'theorem' instead #1207

Sign in to view logs

chore: 'lemma' command elaborates as 'theorem' but gives warning + codeaction to use 'theorem' instead

chore: 'lemma' command elaborates as 'theorem' but gives warning + codeaction to use 'theorem' instead #1207

Triggered via issue August 19, 2024 06:50
@jcommelinjcommelin
commented on #413 a975dea
Status Skipped
Total duration 2s
Artifacts –

labels-from-comments.yml

on: issue_comment
update-label
0s
update-label
Fit to window
Zoom out
Zoom in