we would get ( <" 2 1 2 1 "> _b 3 )= ; 70, which seems to be a quite good > and natural representation. >
I agree, nice representation. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/8b623db4-7b71-455d-8198-c62ad55b2c36n%40googlegroups.com.
