Theorem tangentCone_nonempty_of_properSpace

Modification history