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