My tags: double-negation-introduction

With this tag

• double-negation-introduction (math concept)
• DoubleNegationIntroductionDeclaration (python class)
• DoubleNegationIntroductionInclusion (python class)
• double-negation-introduction (python sample)