LAC1213 / compact_unit_ballLinks

Lean proof that a normed vector space with compact unit ball is finite dimensional
11Updated 5 years ago

Alternatives and similar repositories for compact_unit_ball

Users that are interested in compact_unit_ball are comparing it to the libraries listed below

Sorting: