Theorem AffineMap.linear_injective_iff

Modification history