theories/ring.v

-R theories mathcomp.algebra_tactics
-arg -w -arg -notation-overridden
-arg -w -arg +elpi.typecheck
