Theorem finiteDimensional_of_locallyCompactSpace

Modification history