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