theorem Dictionary.Observation.Is.toParenttheorem Dictionary.Observation.Is.toParent: ∀ (x : Type) [Is x], Process.Is x
Published by @MetaBias · Jul 22, 2026
View source in e4xks8h4
e4xks8h4
Definitional, with no premises to accept.
Dictionary.Observation.Is.toParent
definitional fact