Theorem FiniteDimensional.of_isCompact_closedBall₀

Modification history