Theorem Trivialization.continuousAt_proj

Modification history