Skip to content
TagBot

rename orderings: revlex->invlex,rp->ip...introduce deginvlex #6187

Sign in to view logs

rename orderings: revlex->invlex,rp->ip...introduce deginvlex

rename orderings: revlex->invlex,rp->ip...introduce deginvlex #6187

Triggered via issue November 1, 2023 21:58
@fingolfinfingolfin
commented on #722 6304657
Status Skipped
Total duration 4s
Artifacts –

TagBot.yml

on: issue_comment
TagBot
0s
TagBot
Fit to window
Zoom out
Zoom in