mathlib3
6cfb65ff
- Update src/linear_algebra/projective_space/basic.lean
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
Update src/linear_algebra/projective_space/basic.lean Co-authored-by: Oliver Nash <github@olivernash.org>
References
VB_proj
#14059 - feat(linear_algebra/projective_space): add some basic API and instances
Author
vbeffara
Parents
ff19d9de
Loading
