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