theorem instPersonAtToParenttheorem instPersonAtToParent: ∀ (x t : Type) [Person.At x t], Object.At x t
Published by @sam · Jul 17, 2026
View source in xxzf15qm
xxzf15qm
Definitional, with no premises to accept.
instPersonAtToParent
definitional fact