Theorem LinearMap.exact_iff_of_surjective_of_bijective_of_injective

Modification history

2024-11-26 13:02
Mathlib/Algebra/Exact.lean
feat(Algebra/Exact): iff lemmas (#19504) …
Added LinearMap.exact_iff_of_surjective_of_bijective_of_injectiveView on Github →