theorem instSiteAtToParenttheorem instSiteAtToParent: ∀ (x t : Type) [Site.At x t], ImmaterialEntity.At x t
Published by @sam · Jul 17, 2026
View source in qszr71sj
qszr71sj
Definitional, with no premises to accept.
instSiteAtToParent
definitional fact