perf(RingTheory/Artinian): reorder arguments in `IsArtinianRing.isMax… #13577
mathlib-bors[bot]Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
import-graph
|
195 KB |
|