theorem Sandwich.Bread.Is.toParenttheorem Sandwich.Bread.Is.toParent: ∀ (x : Type) [Is x], Object.Is x
Published by @uksspy · Jul 13, 2026
View source in v289fr59
v289fr59
Definitional, with no premises to accept.
Sandwich.Bread.Is.toParent
definitional fact