Skip to content

[ add ] More Data.Product.Nary.NonDependent operation and properties - #3119

Open
jkopanski wants to merge 1 commit into
agda:masterfrom
jkopanski:product-nary
Open

[ add ] More Data.Product.Nary.NonDependent operation and properties#3119
jkopanski wants to merge 1 commit into
agda:masterfrom
jkopanski:product-nary

Commits

  1. Commits on Oct 3, 2026