Theorem IsDedekindFiniteMonoid.of_injective

Modification history

2025-12-28 17:51
Mathlib/Algebra/Group/Hom/Defs.lean
feat(Algebra): stably finite rings (#32262) …
Added IsDedekindFiniteMonoid.of_injectiveView on Github →