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