Combinatorica use v9#1049

Merged

rocky merged 5 commits intomasterfrom

combinatorica-use-v9

Dec 17, 2020

Commits on Dec 15, 2020

Commits on Dec 16, 2020

Start adding book section correspondences
rocky
committed

Commits on Dec 17, 2020