Theorem LinearMap.exact_zero_iff_injective

Modification history

2025-02-12 21:23
Mathlib/Algebra/Exact.lean
feat(RingTheory/FaithfullyFlat): equivalent characterizations for algebras (#20725) …
Added LinearMap.exact_zero_iff_injectiveView on Github →