mathlib3
feat(algebraic_geometry) : closed immersion
#14899
Open
Overview
Commits
8
Changes
View On GitHub
Commits
  • debut
    jjaassoonn committed 3 years ago
  • add doc
    jjaassoonn committed 3 years ago
  • unused argument
    jjaassoonn committed 3 years ago
  • add a bunch of definitions
    jjaassoonn committed 3 years ago
  • add module docstring
    jjaassoonn committed 3 years ago
  • changed to correct definition by Andrew Yang
    jjaassoonn committed 3 years ago
  • fix
    jjaassoonn committed 3 years ago
  • correction
    jjaassoonn committed 3 years ago
FAQ Terms Privacy Refunds Impressum
Loading