My tags: disjunction-introduction-1

With this tag

• disjunction-introduction-1 (math concept)
• DisjunctionIntroduction1Declaration (python class)
• DisjunctionIntroduction1Inclusion (python class)
• disjunction-introduction-1 (python sample)