My tags: conjunction-introduction

With this tag

• conjunction-introduction (math concept)
• ConjunctionIntroductionDeclaration (python class)
• ConjunctionIntroductionInclusion (python class)
• conjunction-introduction (python sample)