Theorem AffineBasis.affineSpan_eq_top_of_toMatrix_left_inv

Modification history