dfbi2 Show Code edit
# A theorem similar to the standard definition of the biconditional.
# Definition of [bib/Margaris] p. 49.
## Definition of biconditional
##