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