theorem instCoeDepTypeFunctionOfIs._proof_1
theorem instCoeDepTypeFunctionOfIs._proof_1: ∀ (x : Type) [d4qbfhxh.Function.Is x], d4qbfhxh.Function.Is x
theorem instCoeDepTypeFunctionOfIs._proof_1
theorem instCoeDepTypeFunctionOfIs._proof_1: ∀ (x : Type) [d4qbfhxh.Function.Is x], d4qbfhxh.Function.Is x