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