basic): injective iff injective after composing with equiv (#6283)

Commit

4 years ago

feat(data/equiv/basic): injective iff injective after composing with equiv (#6283) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

jcommelin

Parents