Theorem finiteDimensional_of_isCompact_closedBall₀

Modification history