Skip to content

fix: clean up some sorries in PartialProd#32

Merged
Vtec234 merged 1 commit intomasterfrom
partialProd_sorry
Aug 24, 2025
Merged

fix: clean up some sorries in PartialProd#32
Vtec234 merged 1 commit intomasterfrom
partialProd_sorry

Commits

Commits on Aug 24, 2025