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