garywelz/programming_framework
0
1graph TD2 DefFact("DefFact Factorial")3 DefSum("DefSum Sum principle")4 DefProd("DefProd Product principle")5 PermNoRep("PermNoRep Permutations no rep")6 PermRep("PermRep Permutations with rep")7 CombNoRep("CombNoRep Combinations")8 DefFact --> PermNoRep9 DefProd --> PermNoRep10 DefProd --> PermRep11 PermNoRep --> CombNoRep12 DefFact --> CombNoRep13 classDef axiom fill:#e74c3c,color:#fff,stroke:#c0392b14 classDef definition fill:#3498db,color:#fff,stroke:#2980b915 classDef theorem fill:#1abc9c,color:#fff,stroke:#16a08516 class DefFact,DefSum,DefProd definition17 class PermNoRep,PermRep,CombNoRep theorem