theorem HumanLifeMoralWorth.HumanOrganism.At.toParent
theorem HumanLifeMoralWorth.HumanOrganism.At.toParent: ∀ (x t : Type) [At x t], Object.At x t
theorem HumanLifeMoralWorth.HumanOrganism.At.toParent
theorem HumanLifeMoralWorth.HumanOrganism.At.toParent: ∀ (x t : Type) [At x t], Object.At x t