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

The logs for this run have expired and are no longer available.