theorem instActionIsToParenttheorem instActionIsToParent: ∀ (x : Type) [Action.Is x], Process.Is x
Published by @sam · Aug 3, 2026
View source in stb24v62
stb24v62
Definitional, with no premises to accept.
instActionIsToParent
definitional fact