Revision as of 21:13, 5 June 2012 (view source) Rdm (talk \| contribs) (J: bug fix) ← Older edit		Revision as of 12:55, 7 June 2012 (view source) Rdm (talk \| contribs) (J: bug fix -- forbid a class of unsupported statements) Newer edit →
Line 464: addition=: +/ dyadic isN=: ([ assert@is_member_of&(context all)) even=: [: context kernel@addition~"0@,@kernel :[: @isN odd=: successor@even

Proof: Difference between revisions

Proof (view source)