Theorem FiberBundle.continuous_proj

Modification history