Theorem ne_zero.of_injective
Modification history
2022-11-04 20:50
src/algebra/hom/group.lean
chore(algebra/ne_zero): move the dependencies out (#17177) …
Modified ne_zero.of_injectiveView on Github →2022-05-23 10:20
src/algebra/ne_zero.lean
feat(algebra/ne_zero): add helper methods (#14286) …
Modified ne_zero.of_injectiveView on Github →