PR #14899 feat(algebraic_geometry) : closed immersion

feat(algebraic_geometry) : closed immersion #14899

jjaassoonn wants to merge 8 commits into master from jjaassoonn/closed_immersion

debut

885651c0

add doc

f278f387

collares changed the title ~~feat(algebraic_geoemtry) : closed immersion~~ feat(algebraic_geometry) : closed immersion 3 years ago

unused argument

7149fc82

add a bunch of definitions

41855319

add module docstring

38b5c2e6

jjaassoonn marked this pull request as draft 3 years ago

changed to correct definition by Andrew Yang

f499f81b

fix

325d447c

jjaassoonn closed this 3 years ago

correction

b250827f

jjaassoonn reopened this 3 years ago

kim-em added too-late

Reviewers

No reviews

Assignees

No one assigned

Labels

too-late

Milestone

No milestone