Show the Proof

import proveit
# Automation is not needed when only showing a stored proof:
proveit.defaults.automation = False # This will speed things up.
proveit.defaults.inline_pngs = False # Makes files smaller.
%show_proof

	step type	requirements	statement
0	generalization	1	⊢
1	modus ponens	2, 3	⊢
2	instantiation	6, 4, 5	⊢
	: , : , :
3	assumption		⊢
4	instantiation	6, 7, 8	⊢
	: , : , :
5	instantiation	10	⊢
	: , :
6	theorem		⊢
	proveit.logic.equality.sub_left_side_into
7	deduction	9	⊢
8	instantiation	10	⊢
	: , :
9	instantiation	11, 12, 13, 14	⊢
	: , :
10	axiom		⊢
	proveit.logic.sets.equivalence.set_not_equiv_def
11	theorem		⊢
	proveit.logic.booleans.implication.modus_tollens_denial
12	instantiation	15	⊢
	: , :
13	deduction	16	⊢
14	assumption		⊢
15	theorem		⊢
	proveit.logic.sets.equivalence.set_equiv_is_bool
16	instantiation	17, 18	⊢
	: , :
17	theorem		⊢
	proveit.logic.sets.equivalence.set_equiv_reversal
18	assumption		⊢