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