Theorem Continuous.inner_bundle

Modification history