Nuprl - Proof: nmod wf

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: nmod wf

m,n:

. nmod(m;n)

By:	Unfold `nmod` 0 THEN Try (Complete Auto)

Generated subgoal:

1 m,n:. if n=0 then 0 else m rem n fi
2 steps

About:

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html