Theory of
proveit
.
linear_algebra
.linear_maps
ΒΆ
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.linear_maps.lin_map_def
proveit.linear_algebra.linear_maps.vec_add_lin_map
proveit.linear_algebra.linear_maps.scalar_mult_lin_map
proveit.linear_algebra.linear_maps.identity_def
proveit.linear_algebra.linear_maps.commutator_def
proveit.linear_algebra.linear_maps.anti_commutator_def
