mathlib3
feat(linear_algebra/projective_space): add some basic API and instances
#14059
Open
Overview
Commits
5
Changes
View On GitHub
Commits
  • feat(linear_algebra/projective_space): add some basic API and instance
    vbeffara committed 3 years ago
  • Refactor map_injective
    vbeffara committed 3 years ago
  • Update src/linear_algebra/projective_space/basic.lean
    vbeffara committed 3 years ago
  • Update src/linear_algebra/projective_space/basic.lean
    vbeffara committed 3 years ago
  • Update src/linear_algebra/projective_space/basic.lean
    vbeffara committed 3 years ago
FAQ Terms Privacy Refunds Impressum
Loading