LAC1213 / compact_unit_ball

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

Related projects

Alternatives and complementary repositories for compact_unit_ball