theorem SpeechAndLegitimacy.FormOfSpeech.At.toParent
theorem SpeechAndLegitimacy.FormOfSpeech.At.toParent: ∀ (x t : Type) [At x t], GenericallyDependentContinuant.At x t
theorem SpeechAndLegitimacy.FormOfSpeech.At.toParent
theorem SpeechAndLegitimacy.FormOfSpeech.At.toParent: ∀ (x t : Type) [At x t], GenericallyDependentContinuant.At x t