module): ![1, I] is a basis of C over R (#4713)

Commit

5 years ago

feat(data/complex/module): ![1, I] is a basis of C over R (#4713) Co-authored-by: Johan Commelin <johan@commelin.net>

References

Author

urkud

Parents