My tags: disjunction-introduction-2

With this tag

• disjunction-introduction-2 (math concept)
• DisjunctionIntroduction2Declaration (python class)
• DisjunctionIntroduction2Inclusion (python class)
• disjunction-introduction-2 (python sample)