sage
aa8e8a0b - Moving vector space morphisms to the coercion model.

Commit

1 year ago

Moving vector space morphisms to the coercion model.

References

#37709 - Fix scaling of vector space morphisms on the left

Author

mkoeppe

mkoeppe

Parents

Loading