My tags: biconditional-introduction

With this tag

• biconditional-introduction (math concept)
• BiconditionalIntroductionDeclaration (python class)
• BiconditionalIntroductionInclusion (python class)
• biconditional-introduction (python sample)