PR #978 feat(option): injective_map

feat(option): injective_map #978

kim-em merged 1 commit into master from perfectoid-option-map-injective

feat(option/injective_map)

b9e5e6a2

kim-em requested a review 7 years ago

jcommelin approved these changes on 2019-05-04

jcommelin changed the title ~~feat(option/injective_map)~~ feat(option): injective_map 7 years ago

kim-em merged c7baf8ef into master 7 years ago

kim-em deleted the perfectoid-option-map-injective branch 7 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

None yet

Milestone

No milestone