Theorem: Tutorial.GroupHom.rangeKerLift_injective (Tutorial/Advanced/Algebra/Lecture5.lean)

State before:
G H : Type
inst✝¹ : Group G
inst✝ : Group H
f : G →* H
⊢ Function.Injective ⇑(rangeKerLift f)
Tactic:
sorry
State after:
no goals