Statement:
There is a non-trivial injective Abelian group.
Howard_Rubin_Number: 190
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Unknown
Article Citations:
Blass-1979: Injectivity, projectivity and the axiom of choice
Book references
Note connections:
Note 60
Definitions from category theory