shorter proofs of monoidal structure in Products.v#1943

Alizter merged 1 commit intoHoTT:masterHoTT/Coq-HoTT:masterfrom

Alizter:ps/rr/shorter_proofs_of_monoidal_structure_in_products_vAlizter/HoTT:ps/rr/shorter_proofs_of_monoidal_structure_in_products_vCopy head branch name to clipboard