Nuprl - Pf trace_projection_nil

PrintForm Definitions mb events Sections GenAutomata Doc

At: trace projection nil

P:Top. nil | P ~ nil

By: Unfold `trace_projection` 0 THEN Reduce 0

Generated subgoals:

None

About:

PrintForm Definitions mb events Sections GenAutomata Doc