mathlib3
a1fe39b1 - refactor(analysis/convex): make instance local (#869)

Commit

6 years ago

refactor(analysis/convex): make instance local (#869)

References

#869 - refactor(analysis/convex): make instance local

Author

abentkamp

abentkamp

Committer

digama0

digama0

Parents

Loading