Skip to content

coproduct symmetry and associativity#1828

Merged
Alizter merged 4 commits intoHoTT:masterfrom Alizter:ps/branch/make_coproduct_definition_more_definitionalJan 24, 2024

Commits

Commits on Jan 23, 2024

Commits on Jan 24, 2024