Skip to content

Add O(1) native structural Binomial Theorem for Nat#3000

Open
alfredoVallejoM wants to merge 1 commit into
agda:masterfrom
alfredoVallejoM:add-native-binomial-nat
Open

Add O(1) native structural Binomial Theorem for Nat#3000
alfredoVallejoM wants to merge 1 commit into
agda:masterfrom
alfredoVallejoM:add-native-binomial-nat

Commits

Commits on Jun 2, 2026