theorem Dictionary.instBeliefSystemAtToParent
theorem Dictionary.instBeliefSystemAtToParent
: ∀ (x t : Type) [BeliefSystem.At x t], GenericallyDependentContinuant.At x t