Proof of
proveit
.
logic
.
classes
.
membership
.
unfold_not_in_class
theorem
¶
In [1]:
import
proveit
theory
=
proveit
.
Theory
()
# the theorem's theory
In [2]:
%
proving
unfold_not_in_class
Out[2]:
Under these
presumptions
, we begin our proof of
unfold_not_in_class:
(see
dependencies
)