PR #675 cleanup(category_theory/cones): tidying up

cleanup(category_theory/cones): tidying up #675

rwbarton merged 1 commit into master from cones-cleanup

cleanup(category_theory/cones): tidying up, after making opposites wo…

9ed379a5

kim-em requested a review from

jcommelin 7 years ago

kim-em requested a review from

rwbarton 7 years ago

jcommelin approved these changes on 2019-02-02

cipher1024 assigned

rwbarton 7 years ago

rwbarton merged a09dc9f2 into master 7 years ago

kim-em deleted the cones-cleanup branch 6 years ago

Reviewers

jcommelin

rwbarton

Assignees

rwbarton

Labels

None yet

Milestone

No milestone