Theorem AffineMap.span_eq_top_of_surjective

Modification history