Changes

Line 5,523: Line 5,523:  
</math>
 
</math>
 
|}
 
|}
 +
 +
The isomorphism between the two operations on coefficients in <math>\mathbb{B}</math> is manifest enough that nothing remains but to see how the operation on coefficients translates into operations on sets and terms.
    
{| align="center" cellspacing="6" width="90%"
 
{| align="center" cellspacing="6" width="90%"
12,080

edits