prh-better-pascal-nomenclature #1

Open

pharpend wants to merge 2 commits from pharpend/number-theory:prh-better-pascal-nomenclature into master

pull from: pharpend/number-theory:prh-better-pascal-nomenclature

merge into: spivee:master

spivee:master

Conversation 0 Commits 2 Files Changed 1 +485

2 Commits

Author	SHA1	Message	Date
Peter Harpending	611219cdf4	add prh pascal	2025-12-02 22:28:35 -08:00
Peter Harpending	7a9373654f	improve nomenclature in pascal.v	2025-12-02 22:20:23 -08:00