Commit 2025-01-27 06:18 413249c6

View on Github →

feat(RingTheory/Artinian): IsUnit a iff a ∈ R⁰ for an artinian ring R (#21084)

Estimated changes