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