theorem instMoralCharacterIsToParenttheorem instMoralCharacterIsToParent: ∀ (x : Type) [MoralCharacter.Is x], Quality.Is x
Published by @sam · Jul 24, 2026
View source in fs83ayjj
fs83ayjj
Definitional, with no premises to accept.
instMoralCharacterIsToParent
definitional fact