Theorem FiniteDimensional.of_isCompact_closedBall

Modification history