theorem AxiomaticThinking.instCoeDepTypeActionOfIs._proof_1
theorem AxiomaticThinking.instCoeDepTypeActionOfIs._proof_1
: ∀ (x : Type) [z85jhy92.AxiomaticThinking.Action.Is x], z85jhy92.AxiomaticThinking.Action.Is x