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