Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
have hyperlinked the term constructive mathematics
also hyperlinked the terms trivial ring and terminal.
Hmm, the case doesn’t seem to be covered by the definition, since surely 0 is not a cancellation element
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
1 to 5 of 5