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