Theorem MulOpposite.isStablyFiniteRing_iff

Modification history

2025-12-28 17:51
Mathlib/Data/Matrix/Basic.lean
feat(Algebra): stably finite rings (#32262) …
Added MulOpposite.isStablyFiniteRing_iffView on Github →