Skip to content

Share the proofs of ×-comm and ⊎-comm of type isomorphisms and add a pairing operation#2868

Open
shhyou wants to merge 4 commits intoagda:masterfrom
shhyou:typeiso
Open

Share the proofs of ×-comm and ⊎-comm of type isomorphisms and add a pairing operation#2868
shhyou wants to merge 4 commits intoagda:masterfrom
shhyou:typeiso

Commits

Commits on Nov 11, 2025