book icon indicating copy to clipboard operation
book copied to clipboard

Published 20 hours ago • verified publisher icon HoTT

Typo in proof of commutativity of cardinal multiplication

Open bowlerman opened this issue 3 years ago • 2 comments

One of the cardinal multiplications is written with \times when it should be \cdot.

ref: Lemma 10.2.4 Card is a commutative semiring

bowlerman avatar May 02 '21 13:05 bowlerman

Thanks!

mikeshulman avatar May 04 '21 20:05 mikeshulman

Generally we keep the issue open until the pull request fixing it is merged.

mikeshulman avatar Nov 23 '21 18:11 mikeshulman