26 Oct
2006
26 Oct
'06
3:21 p.m.
What is not to like about Z being the initial ring-with-unit? No need to impose 0 {/ne} 1 -- it follows. Cheers, -- Fred.