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