theorem Dictionary.instSkillIsToParenttheorem Dictionary.instSkillIsToParent: ∀ (x : Type) [Skill.Is x], Object.Is x
Published by @MetaBias · Jul 29, 2026
View source in g0c1njxx
g0c1njxx
Definitional, with no premises to accept.
Dictionary.instSkillIsToParent
definitional fact