Affine-linear mapping/Functorial properties/Fact/Proof
<
Affine-linear mapping/Functorial properties/Fact
Proof
These properties follow immediately from the definition.
To fact