garywelz/programming_framework

1graph TD2    DefFact("DefFact Factorial")3    DefProd("DefProd Product principle")4    PermNoRep("PermNoRep Permutations no rep")5    CombNoRep("CombNoRep Combinations")6    CombRep("CombRep Combinations with rep")7    BinomThm("BinomThm Binomial theorem")8    Pascal("Pascal Pascal identity")9    DefFact --> PermNoRep10    DefProd --> PermNoRep11    PermNoRep --> CombNoRep12    DefFact --> CombNoRep13    CombNoRep --> CombRep14    CombNoRep --> BinomThm15    CombNoRep --> Pascal16    classDef axiom fill:#e74c3c,color:#fff,stroke:#c0392b17    classDef definition fill:#3498db,color:#fff,stroke:#2980b918    classDef theorem fill:#1abc9c,color:#fff,stroke:#16a08519    class DefFact,DefProd definition20    class PermNoRep,CombNoRep,CombRep,BinomThm,Pascal theorem