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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
update-label
0s
0s