garywelz/programming_framework

1graph TD2    DefFact("DefFact Factorial")3    DefSum("DefSum Sum principle")4    DefProd("DefProd Product principle")5    PermNoRep("PermNoRep Permutations no rep")6    Pigeonhole("Pigeonhole Pigeonhole principle")7    InclExcl("InclExcl Inclusion-exclusion")8    InclExcl3("InclExcl3 Incl-excl 3 sets")9    Derange("Derange Derangements")10    Stirling2("Stirling2 Stirling numbers")11    DefFact --> PermNoRep12    DefProd --> PermNoRep13    DefSum --> Pigeonhole14    DefSum --> InclExcl15    InclExcl --> InclExcl316    InclExcl --> Derange17    PermNoRep --> Derange18    DefSum --> Stirling219    DefProd --> Stirling220    classDef axiom fill:#e74c3c,color:#fff,stroke:#c0392b21    classDef definition fill:#3498db,color:#fff,stroke:#2980b922    classDef theorem fill:#1abc9c,color:#fff,stroke:#16a08523    class DefFact,DefSum,DefProd definition24    class PermNoRep,Pigeonhole,InclExcl,InclExcl3,Derange,Stirling2 theorem