a noncomm_ring
tactic
#2727
Labels
easy
< 20s of review time. See the lifecycle page for guidelines.
feature-request
This issue is a feature request, either for mathematics, tactics, or CI
help-wanted
The author needs attention to resolve issues
t-meta
Tactics, attributes or user commands
From tactics for noncommutative rings on zulip:
A PR would need to add a doc string, and some test cases.
The text was updated successfully, but these errors were encountered: