mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(analysis/locally_convex/barrel): barreled spaces

Open ADedecker opened this issue 2 years ago • 1 comments

  • [x] depends on: #16676

Open in Gitpod

ADedecker avatar Sep 28 '22 08:09 ADedecker

This PR/issue depends on:

  • ~~leanprover-community/mathlib#16676~~ By Dependent Issues (🤖). Happy coding!

mathlib-dependent-issues-bot avatar Oct 09 '22 04:10 mathlib-dependent-issues-bot