theorem Information.Observer.At.toParenttheorem Information.Observer.At.toParent: ∀ (x t : Type) [At x t], Object.At x t
Published by @MetaBias · Jul 9, 2026
View source in xmafsdvf
xmafsdvf
Definitional, with no premises to accept.
Information.Observer.At.toParent
definitional fact