Products in V⁰ (#22) · Issues · HoTT / hott-set-theory