Theorem finiteDimensional_of_isCompact_closed_ball₀

Modification history