Theory of
proveit
.
linear_algebra
.vector_sets
¶
Provide description here.
In [1]:
import
proveit
%
theory
# toggles between interactive and static modes
Local content of this theory
common expressions
axioms
theorems
demonstrations
Sub-theories
All axioms contained within this theory
proveit.linear_algebra.vector_sets.span_def
proveit.linear_algebra.vector_sets.spanning_set_def
proveit.linear_algebra.vector_sets.lindep_set_def
proveit.linear_algebra.vector_sets.bases_def
proveit.linear_algebra.vector_sets.dim_def