mathlib
c4baf2e6 - feat(analysis/convex/relint): define the relative interior

Commit

3 years ago

feat(analysis/convex/relint): define the relative interior

Author

datokrat

datokrat

Committer

datokrat

datokrat

Parents

Loading