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