bowlerman
Results
1
issues of
bowlerman
One of the cardinal multiplications is written with \times when it should be \cdot. ref: Lemma 10.2.4 Card is a commutative semiring