theorem Murder.Is.toParenttheorem Murder.Is.toParent: ∀ (x : Type) [Is x], Process.Is x
Published by @sam · Jul 4, 2026
View source in z2yhb66n
z2yhb66n
Definitional, with no premises to accept.
Murder.Is.toParent
definitional fact