Theorem ContinuousOn.inner_bundle

Modification history