Affine-linear mapping/Functorial properties/Fact/Proof

< Affine-linear mapping < Functorial properties < Fact
Proof

These properties follow immediately from the definition.