theorem Actions.personAsAgent._proof_1
theorem Actions.personAsAgent._proof_1
(bridge : f8gz4evn.Actions.PersonsAreAgents)
: ∀ (person : g0c1njxx.Dictionary.Person), g0c1njxx.Dictionary.Agent.Is (Subtype.val person)