Skip to content

V⁰ has binary products

Anders Mörtberg requested to merge hott/hott-set-theory:binprod into master

Resolves hott/hott-set-theory#22 (closed) (finally!)

Merge request reports