theorem Information.ResultsInAProcess._proof_1

theorem Information.ResultsInAProcess._proof_1
theorem Information.ResultsInAProcess._proof_1
: ∀ (f : j12bzjgj.BFO.Function), j12bzjgj.BFO.RealizableEntity.Is (Subtype.val (Subtype.mk (Subtype.val f) ⋯))

Published by @MetaBias · Jul 22, 2026

View source in sn3n4ta6

Definitional, with no premises to accept.