Theorem AffineBasis.affineIndependent_of_toMatrix_right_inv

Modification history