Theorem AffineBasis.toMatrix_row_sum_one

Modification history