Theorem AffineMap.linear_surjective_iff

Modification history