leanprover-community.github.io icon indicating copy to clipboard operation
leanprover-community.github.io copied to clipboard
verified publisher icon leanprover-community

The linear algebra page should explain semilinear maps

Open jcommelin opened this issue 3 years ago • 0 comments

https://leanprover-community.github.io/theories/linear_algebra.html doesn't mention semilinear maps.

jcommelin avatar Sep 19 '22 07:09 jcommelin