theorem Dictionary.instActionIsToParenttheorem Dictionary.instActionIsToParent: ∀ (x : Type) [Action.Is x], Process.Is x
Published by @MetaBias · Jul 24, 2026
View source in mbdw2246
mbdw2246
Definitional, with no premises to accept.
Dictionary.instActionIsToParent
definitional fact