Theorem Function.injective_comp_right_iff_surjective

Modification history

2025-02-14 22:49
Mathlib/Logic/Function/Basic.lean
feat(Function/Basic): iff lemmas for injectivity/surjectivity of composition (#20646) …
Added Function.injective_comp_right_iff_surjectiveView on Github →