mathlib3
aa7a439d - feat(algebra/): injective hom into kernel `map_eq__iff` (#11275)

Commit

4 years ago

feat(algebra/*): injective hom into kernel `map_eq_*_iff` (#11275)

Author

pechersky

pechersky

Parents

Loading