theorem Dictionary.ContradictoryBelief.At.toParent
theorem Dictionary.ContradictoryBelief.At.toParent: ∀ (x t : Type) [At x t], Belief.At x t
theorem Dictionary.ContradictoryBelief.At.toParent
theorem Dictionary.ContradictoryBelief.At.toParent: ∀ (x t : Type) [At x t], Belief.At x t