theorem HumanLifeMoralWorth.instCoeDepTypeDeathOfIs._proof_1
theorem HumanLifeMoralWorth.instCoeDepTypeDeathOfIs._proof_1
: ∀ (x : Type) [wz5zekgq.HumanLifeMoralWorth.Death.Is x], wz5zekgq.HumanLifeMoralWorth.Death.Is x