no goals
α : Type u_4
β : Type ?u.21150
γ : Type ?u.21153
ι : Type ?u.21156
M : Type u_3
M' : Type ?u.21162
N : Type u_1
P : Type u_2
G : Type ?u.21171
H : Type ?u.21174
R : Type ?u.21177
S : Type ?u.21180
inst✝² : Zero M
inst✝¹ : Zero N
inst✝ : Zero P
f : ZeroHom N P
f₂ : ZeroHom M N
⊢ (↑f ∘ ↑f₂) 0 = 0
simp only [comp_apply, map_zero]