remove useless matrix_from_rows - SemanticDiff

Commit

2 years ago

remove useless matrix_from_rows

References

#37324 - Basis completion for matrices over univariate polynomials

Author

vneiger

vneiger

Parents

Loading