Theorem Trivialization.continuous_coordChange

Modification history