theorem instEconomyIsToParenttheorem instEconomyIsToParent: ∀ (x : Type) [Economy.Is x], ObjectAggregate.Is x
Published by @sam · Jul 24, 2026
View source in ffjw87je
ffjw87je
Definitional, with no premises to accept.
instEconomyIsToParent
definitional fact